Умовні та еквівалентні висловлювання
Із таблиці істинності (табл. 1.2.2) випливає, що висловлювання A 
B єімплікацією (умовним реченням), набуває значення хибності тоді і тільки тоді, коли A – істинне, а B – хибне. В утвореному реченні A B висловлювання A називають засновком (умовою),аB – наслідком
(висновком). Природною мовою причинно-наслідковий зв'язок між висловлюваннями A і B описують такими зворотами : “ Якщо A, то B ”, “ A є достатньою підставою для B”і таке інше.
Приклад 1.3.1.Для висловлювання “Якщо іде дощ, то щоб не змокнути, я відкриваю парасольку над головою” записати формулу висловлювань і побудувати таблицю істинності.
Розв’язання. Для цього висловлювання введемо атоми : A – “ йде дощ ”, B – “ щоб не змокнути, я відкриваю парасольку над головою ”.
Тоді цьому висловлюванню відповідатиме формула A B, а результати інтерпретації поданого висловлювання наведені в таблиці істинності (табл. 1.3.1).
Таблиця 1.3.1 – Інтерпретація результатів
| A | B | A B | Результат |
| X | X | I | залишуся сухим |
| X | I | I | залишуся сухим |
| I | X | X | намокну |
| I | I | I | залишуся сухим |
За допомогою імплікації можна формально виразити поняття достатньої та необхідної умови. Наприклад, якщо A B, то це означає, що “A є достатньою умовою для B ” і одночасно, що “ B є необхідною умовою для А ”. Тобто необхідність для А можна записати у формі “В тільки, якщо А” - A B. Твердження “А є необхідною і достатньою умовою для В” еквівалентне подвійній імплікації 
. Покажемо це за допомогою таблиці істинності (табл. 1.3.2).
Таблиця 1.3.2
 |  |  |  |  |
| X | X | I | I | I |
| X | I | I | X | X |
| I | X | X | I | X |
| I | I | I | I | I |
Із таблиці істинності бачимо, що висловлювання 
істинне тоді і тільки тоді, коли висловлювання та істинні або хибні одночасно, що й відповідає еквіваленції. Але не за всіх умовних висловлювань буває так.
Приклад 1.3.2. У висловлюванні“ Якщо число n парне ( ), то n ділиться націло на 4 ( ) ” показати необхідність і достатність умови й записати її істинність через знак імплікації.
Розв’язання. Оскільки жодне непарне число на 4 не ділиться, то це умова є необхідною, але в той самий час є парні числа, які не діляться націло на 4, наприклад 10. Тобто очевидним є відсутність достатності умови у заданому висловлюванні. Тому задане висловлювання за умовою хибне, а правильною імплікацією для заданої умови буде 
.
Приклад 1.3.3.У висловлюванні “ Якщо геометрична фігура – квадрат ( ), то вона – прямокутник, у якого всі сторони рівні між собою ( ) ” показати необхідність і достатність умови і записати її через знак логічного зв’язку.
Розв’язання. За умовою квадрат ( ) – це прямокутник, у якого всі сторони рівні між собою ( ), що є необхідною і достатньою умовою для виконання , і тому логічним зв’язком між даними висловлюваннями буде еквіваленція 
.
З умовним висловлюванням зв’язані ще три висловлювання : конверсія, інверсія та контрапозиція.Вони визначаються таким чином: 
– конверсія висловлювання ; 
– інверсія висловлювання ; 
– контрапозиція висловлювання .
Приклад 1.3.4.Для висловлювання “ Якщо він добре грає у футбол, то він популярний ” знайти конверсію, інверсію та контрапозицію.
Розв’язання. Відповідно до їх означення шукані результати матимуть такий зміст.
Конверсія – “ Якщо він популярний, то він добре грає у футбол ”. Інверсія – “ Якщо він недобре грає у футбол, то він непопулярний ”. Контрапозиція – “ Якщо він непопулярний, то він недобре грає у футбол ”.
Означення 1.3.1. Висловлювання ~ називають еквівалентністю(еквіваленцією) тоді і тільки тоді, коли висловлювання і хибні або істинні одночасно. Ця операція відповідає у природній мові зворотам :
“ тоді і тільки тоді, коли ”, “ для того, щоб ”, “ необхідно і достатньо ”.
Із таблиці істинності (табл. 1.3.1) випливає, що вираз ~ еквівалентний виразу 
. Це свідчить про те, що логічна еквівалентність зображує імплікацію в обох напрямках. Виходячи з означення еквівалентності, формула для неї має такий вигляд: ~ 
.
Приклад 1.3.5.Записати у вигляді формули логіки висловлювань і визначити істинне значення таких висловлювань :
1. “Для того щоб 4 : 2 = 2, необхідно і достатньо, щоб 4 - 2 = 2 ”. 2. “ 4 : 2 = 3 рівнозначне 4 - 2 = 1 ”.
Розв’язання. Вводимо позначення атомів :
A = 4 : 2 = 2 ; B = 4 - 2 =2 ;
C = 4 : 2 = 3 ; D = 4 - 2 = 1.
Тоді можна сказати, що висловлювання 1 відповідає формулі ~ , а висловлювання 2 – формулі 
~ 
. Якщо атоми і істинні, а атоми і хибні, то визначення істинності значень складних висловлювань таке:
~ 
I ~ I = I; ~ = X ~ X = I.
Прочитання формул складних висловлювань може бути неоднозначним, якщо не ввести дужки, що вказують, у якому порядку зв’язуються між собою символи. Послідовність виконання (пріоритет операцій) у логіці висловлювань є такою : , 
, 
, , ~ .Наприклад, такі вирази без дужок дорівнюють формулам із дужками
; 
~ 
~ 
.
У логіці висловлювань будь-яку її формулу можна поставити у відповідність деякому складному висловлюванню природної форми і навпаки. Для того щоб перетворити складне речення у формулу логіки висловлювань, необхідно виконати такі кроки алгоритму.
1. Шляхом аналізу складного речення визначити, є воно скороченим чи ні.
2. Якщо речення скорочене, то його потрібно замінити повним варіантом.
3. У повному варіанті виділити прості речення й взяти їх у дужки, залишивши поза дужками службові слова.
4. Процес взяття у дужки повторювати доти, поки повністю все складне речення не виявиться взятим у дужки.
5. Замінити сполучники та звороти природної мови відповідними логічними зв’язками, а прості речення –атомарними формулами.
Приклад 1.3.6.Речення “ Оскільки я ліг пізно спати, я проспав і через це не пішов на роботу ” записати у вигляді формули логіки висловлювань.
Розв’язання. У цьому складному реченні виділимо прості речення та візьмемо їх у дужки – “Оскільки (я ліг пізно спати), (я проспав) і через це не (пішов на роботу) ”.
Усі три прості речення зв’язані службовими словами, що виражають логічні відношення, а перед третім реченням стоїть частка “ не ”, що відповідає логічній операції
“ заперечення ”. Оскільки третє речення не є повним, то доповнюємо його відсутнім підметом “я” і введемо атоми :
A – “ Я ліг пізно спати ”, B – “ Я проспав ”, C – “ Я пішов на роботу ”.
Замінивши прості речення символами атомів, а службові слова – логічними зв’язками, отримаємо формулу логіки висловлювань 
Ø 
.