Властивості еквіваленції, імплікації та заперечення (теорема 4

Операція імплікація (лат. лат. implico - тісно пов'язані) (логічне складання):

Імплікація - це логічна операція, що ставить у відповідність кожним двом простим висловлюванням складне висловлювання, що є хибним тоді і тільки тоді, коли умова (перше висловлювання) істинно, а слідство (друге висловлювання) хибне.

Позначається: ол

У природній мові: відповідає обороту "якщо . то . "л

Операція еквівалентна (подвійна імплікація):

Еквіваленція – це логічна операція, що ставить у відповідність кожним двом простим висловлюванням складне висловлювання, що є істинним тоді і тільки тоді, коли обидва вихідні висловлювання одночасно істинні або одночасно помилкові.

Позначається: ол

У природній мові: відповідає мовним зворотам "тоді і тільки тоді"; "в тому і тільки в тому випадку"л

Операція інверсія (заперечення):

Заперечення - це логічна операція, яка кожному простому висловлюванню ставить у відповідність складове висловлювання, яке полягає в тому, що вихідне висловлювання заперечується.

Позначається: ол

У природній мові: відповідає словам "невірно, що." і частинці "не"л

---