Operatorii logici
Pentru a înainta în înțelegerea logicii propozițiilor compuse, vom prezenta cei mai comuni cinci operatori logici împreună cu tabelele lor de adevăr. Tabelele de adevăr se referă la valoarea de adevăr a propoziției compuse care decurge din aplicarea operatorului logic asupra unor propoziții simple cu diverse valori de adevăr.
Negația
Între o propoziție p și negația sa p̅ există un raport de contradicție, adică dacă p este adevărată negația sa este falsă, iar dacă p este falsă negația sa este adevărată.
În limbaj natural, următoarele expresii introduc o negație: „este fals”, „nu este adevărat” etc.
| p | p̅ |
| 1 | 0 |
| 0 | 1 |
Exemplu:
p – Dunărea izvorăște din munții Pădurea Neagră.
p̅ - Dunărea nu izvorăște din munții Pădurea Neagră.
Conjuncția
Propoziția compusă formată din propozițiile simple p și q e...
