Implicația logică: definiție, tabelă de adevăr, exerciții

Implicația logică este o operație fundamentală în logică, notată simbolic cu „→” sau „⇒”. Ea stabilește o relație între două propoziții: o premisă (numită antecedent, notată cu p) și o concluzie (numită consecvent, notată cu q). Forma tipică este „dacă p, atunci q” (p → q).

În viața de zi cu zi, când spunem „Dacă plouă, atunci pământul se udă”, înțelegem că ploaia este o condiție suficientă pentru udarea pământului. Totuși, în logică, sensul este mai exact și se bazează exclusiv pe valorile de adevăr ale propozițiilor, nu pe conținutul lor concret. Tabela de adevăr pentru implicație arată astfel:

p | q | p → q

A | A | A

A | F | F

F | A | A

F | F | A

Observăm că implicația este falsă doar în singurul caz în care antecedentul este adevărat și consecventul este fals. În toate celelalte cazuri, este adevărată. Acest lucru poate părea neintuitiv la început: de exemplu, dacă p este fals (nu plouă) și q este adevărat (pământul e ud), propoziția „Dacă plouă, atunci pământul se udă” rămâne adevărată, pentru că nu am promis nimic despre ce se întâmplă când nu plouă.

Cu alte cuvinte, o promisiune nu este încălcată dacă antecedentul nu este îndeplinit. Această proprietate se numește „implicație materială” și este baza raționamentelor matematice și științifice. De reținut: p → q este echivalent logic cu ¬p ∨ q (non-p sau q).

În exerciții, veți întâlni propoziții compuse în care trebuie să decideți dacă implicația este adevărată sau falsă, sau să completați termenii lipsă. Vom vedea exemple concrete și exerciții de tip grilă, completare și răspuns liber.

Exemple

• Exemplul 1: Fie p = 'Este sâmbătă', q = 'Nu merg la școală'. Enunțul 'Dacă este sâmbătă, atunci nu merg la școală' se scrie p → q. Dacă este într-adevăr sâmbătă și nu merg la școală, implicația este adevărată. Dacă este sâmbătă, dar totuși merg la școală, atunci p adevărat, q fals => implicație falsă. Dacă nu este sâmbătă (p fals), indiferent dacă merg sau nu la școală, implicația este adevărată (deoarece nu s-a încălcat promisiunea).
• Exemplul 2: p = 'Numărul 6 este par', q = '6 se divide cu 3'. p este adevărat, q este adevărat, deci p → q este adevărată. Dacă am fi spus 'Dacă 6 este par, atunci 6 se divide cu 4' (q fals), atunci p adevărat, q fals => implicația ar fi falsă.
• Exemplul 3: Considerăm afirmația 'Dacă un animal este mamifer, atunci are inimă'. Pentru o balenă (mamifer) care are inimă, implicația e adevărată. Pentru un rechin (pește, nu mamifer), chiar dacă are inimă, p fiind fals, implicația este tot adevărată. Dacă ar exista un mamifer fără inimă (p adevărat, q fals), atunci afirmația ar fi falsă.

Concepte cheie: Implicație logică (dacă... atunci...), Antecedent și consecvent, Tabela de adevăr pentru implicație (p → q), Echivalența ¬p ∨ q, Singurul caz fals: p adevărat și q fals