Teste si exercitii recapitulative pentru Bacalaureat

Aceasta lectie recapitulativa acopera notiunile esentiale de logica, asa cum apar in programa de Bacalaureat. Vom explora patru competente fundamentale: identificarea propozitiilor simple si compuse, construirea si interpretarea tabelelor de adevar, analiza silogismelor categorice prin diagrame Venn si verificarea echivalentelor logice. O propozitie este o expresie lingvistica despre care are sens sa spunem ca este adevarata sau falsa.

Propozitiile compuse se formeaza prin conectori logici: „si” (conjunctia, ∧), „sau” (disjunctia, ∨), „daca...atunci” (implicatia, →), „daca si numai daca” (echivalenta, ↔) si „nu” (negatia, ¬). Pentru orice formula logica, se poate construi un tabel de adevar care enumera toate combinatiile de valori de adevar ale propozitiilor componente. O taxa importanta este tautologia – o formula care este adevarata in orice interpretare.

De exemplu, legea lui tert exclus: p ∨ ¬p. O alta notiune este contradictia – falsa in orice interpretare (p ∧ ¬p). In ceea ce priveste silogismele categorice, acestea sunt argumente formate din doua premise si o concluzie, bazate pe patru tipuri de propozitii categorice: universala afirmativa (Toți S sunt P), universala negativa (Niciun S nu este P), particulara afirmativa (Unii S sunt P) si particulara negativa (Unii S nu sunt P).

Metoda diagramelor Venn cu trei cercuri (S, M, P) permite verificarea validitatii unui silogism: daca premisele sunt reprezentate corect si concluzia este deja inclusa in diagrama, atunci silogismul este valid. De asemenea, vom aborda echivalentele logice importante, cum ar fi legile lui De Morgan: ¬(p ∧ q) ≡ ¬p ∨ ¬q si ¬(p ∨ q) ≡ ¬p ∧ ¬q. O alta echivalenta utila este definirea implicatiei: p → q ≡ ¬p ∨ q.

Pentru a rezolva probleme de tip Bac, elevii trebuie sa stapaneasca atat calculul propozitional, cat si rationamentul deductiv. Aceasta recapitulare teoretica ofera baza pentru exercitiile practice de mai jos, care testeaza capacitatea de a aplica aceste concepte in contexte variate.

Exemple

• Exemplul 1: Sa se construiasca tabelul de adevar pentru formula (p ∧ q) → (p ∨ q). Rezolvare: Se fac 4 randuri pentru combinatiile (A,A), (A,F), (F,A), (F,F). Calculam p∧q: A,F,F,F. Calculam p∨q: A,A,A,F. Implicatia (p∧q)→(p∨q) este A, A, A, A, deci este o tautologie (legea absorbtiei).
• Exemplul 2: Sa se verifice validitatea silogismului: Toate mamiferele sunt animale (MaA). Unele mamifere sunt marine (MaM). Deci, unele animale sunt marine (AaM). Rezolvare: Reprezentam doua multimi: mamifere (M), animale (A), marine (Mar). Prima premisa: Toate M sunt A => diagrama arata ca M este inclus in A. A doua premisa: Unele M sunt Mar => in zona de intersectie M∩Mar exista element, dar cum M este in A, rezulta ca acea zona este si in A. Deci exista element in A∩Mar, concluzia este valida.
• Exemplul 3: Sa se simplifice expresia logica ¬(p ∨ ¬q) folosind legile lui De Morgan. Rezolvare: Aplicam De Morgan: ¬(p ∨ ¬q) ≡ ¬p ∧ ¬(¬q) ≡ ¬p ∧ q. Se observa ca formula initiala este echivalenta cu 'nu p si q'.

Concepte cheie: Propozitie simpla si compusa, Tabel de adevar si tautologie, Legile lui De Morgan, Silogism categoric si diagrame Venn, Echivalenta logica si validitate