Pentru „Tabele de adevăr — lecție de Logică BAC”, explică în maximum trei propoziții de ce reperul Implicație are forma p→q. Precizează condiția „falsă numai A,F” și construiește un exemplu care o respectă.
Tabele de adevăr — lecție de Logică BAC
Tabelul de adevăr evaluează sistematic o formulă pentru toate combinațiile valorilor propozițiilor simple și arată dacă este tautologie, contradicție sau contingentă.
Pe scurt: Lecția include ordinea operațiilor, modelele de alternare A/F, exemple și controale pentru cele mai frecvente greșeli.

Procedura sigură numără variabilele, generează 2ⁿ linii, construiește coloanele de la subformule spre formula principală și citește coloana finală.

Șase probe concrete pentru „Tabele de adevăr — lecție de Logică BAC”
2. Alegerea metodei
Scrie un enunț scurt care verifică conjuncție. Înainte de rezolvare, notează ce date recunoști, ce rezultat urmărești și de ce metoda aparține resursei „Tabele de adevăr — lecție de Logică BAC”, nu unui capitol apropiat.
3. Corectarea unei erori
Pornește de la eroarea „negația aplicată doar unui fragment greșit” și scrie două versiuni ale aceluiași pas: una greșită și una corectă. În cazul „Tabele de adevăr — lecție de Logică BAC”, marchează exact regula care schimbă soluția și verifică forma corectă prin inversează valoarea.
4. Transfer pe un enunț nou
Schimbă datele, notațiile sau ordinea cerințelor, dar păstrează obiectivul tautologie și contradicție. Rezolvă fără modelul deschis și explică de ce reperul Conjuncție rămâne relevant pentru „Tabele de adevăr — lecție de Logică BAC”.
5. Control și verdict
Compară răspunsul cu relația p∨q, apoi formulează verdictul: stabil, parțial sau de reluat. Pentru „Tabele de adevăr — lecție de Logică BAC”, verdictul „stabil” cere metodă justificată, redactare completă și un control care nu repetă pur și simplu calculul inițial.
6. Retestare scurtă
După cel puțin o zi, rezolvă un item nou pentru conjuncție. Nu consulta rezolvarea anterioară. Notează timpul, pasul nesigur și dacă eroarea „implicația confundată cu echivalența” reapare în contextul „Tabele de adevăr — lecție de Logică BAC”.
Ce diferențiază concret „Tabele de adevăr — lecție de Logică BAC”
Numărul liniilor este 2ⁿ
Pentru n propoziții simple distincte sunt necesare toate cele 2ⁿ combinații ale valorilor adevărat și fals.
Coloanele de bază urmează un ritm
Prima variabilă alternează în blocuri mari, iar fiecare variabilă următoare în blocuri înjumătățite, până la alternarea linie cu linie.
Subformulele se calculează înainte
Parantezele și conectivii interiori primesc coloane proprii; formula principală se evaluează numai după ce dependențele sunt complete.
Coloana finală clasifică formula
Numai A înseamnă tautologie, numai F contradicție, iar amestecul A/F indică formulă contingentă.
| Reper | Relație | Când se folosește |
|---|---|---|
| Negație | ¬p | inversează valoarea |
| Conjuncție | p∧q | adevărată numai A,A |
| Disjuncție | p∨q | falsă numai F,F |
| Implicație | p→q | falsă numai A,F |
| Echivalență | p↔q | adevărată la valori egale |
| Linii | 2ⁿ | n variabile propoziționale |