Luați în considerare aceste propoziții:
- Figura de pe tablă este un triunghi numai dacă are exact trei laturi.
- Figura de pe tablă este un triunghi dacă are exact trei laturi.
- Figura de pe tablă este un triunghi dacă și numai dacă are exact trei laturi.
Fie ca T să însemne „Figura este un triunghi” și S să însemne „Figura are trei laturi”.
Propoziția 24, din motivele discutate mai sus, poate fi tradusă ca T → S.
Propoziția 25 este important diferită. Poate fi parafrazată astfel: „Dacă figura are trei laturi, atunci este un triunghi.” Deci poate fi tradusă ca S → T .
Propoziția 26 spune că T este adevărată dacă și numai dacă S este adevărată; putem deduce S din T, și putem deduce T din S. Aceasta se numește bicondițional, deoarece presupune cele două condiționale S → T și T → S. Vom folosi ‘↔’ pentru a reprezenta bicondiționalul; propoziția 26 poate fi tradusă cu S ↔ T .
Am putea rămâne fără un nou simbol pentru bicondițional. Deoarece propoziția 26 înseamnă „T → S și S → T”, am putea-o traduce ca (T → S) și (S → T ). Am avea nevoie de paranteze pentru a indica faptul că (T → S) și (S → T ) sunt conjuncții separate; expresia T → S & S → T ar fi ambiguă.
Deoarece am putea scrie întotdeauna (A → B) & (B → A) în loc de A ↔ B, nu este nevoie, strict vorbind, să introducem un nou simbol pentru bicondițional. Cu toate acestea, limbajele logice au de obicei un astfel de simbol. Logica propozițională va avea unul, ceea ce facilitează traducerea expresiilor precum „dacă și numai dacă”.
A ↔ B este adevărat dacă și numai dacă A și B au aceeași valoare de adevăr. Acesta este tabelul de adevăr caracteristic pentru bicondițional:
| A | B | A ↔ B |
| T | T | T |
| T | F | F |
| F | T | F |
| F | F | T |
Sursa: Brian Kim, Critical Thinking, licența CC BY 4.0. Traducere și adaptare: Nicolae Sfetcu. © 2024 MultiMedia Publishing, Gândirea critică, volumul 1
Descoperă mai multe la MultiMedia
Abonează-te ca să primești ultimele articole prin email.



Lasă un răspuns