ня істини при будь-якому наборі значень змінних. Якщо хоча б при одному наборі значень змінних воно приймає значення В«брехняВ», то міркування вважається хибним.
Нехай нам потрібно перевірити істинність виводу в наступному міркуванні: В«Якщо три певних елемента обчислювальної машини мають дефекти, то машина не буде працювати. Обчислювальна машина не працює. Значить, ці три елементи мають дефекти В». p> Введемо наступні позначення елементарних суджень, що входять до міркування:
р - три певних елемента обчислювальної машини мають дефекти;
q - машина працює
Тоді всі міркування можна записати у вигляді наступного судження:
(p В® `q) Г™` q В® p
Складемо для цього судження таблицю істинності.
p
q
`p
`
p В® `q
(p В® `q) Г™`
((p В® `) Г™` q) В® p
0
0
1
1
1
1
0
0
1
1
0
1
0
1
1
0
0
1
1
1
1
1
1
0
0
0
0
1
Для набору значення змінних 0,0 всі судження помилково. Значить висновок хибний. Тут під хибністю розуміється, що воно не завжди істинно.
3. УМОВНИЙ (Гіпотетично) СИЛОГІЗМ
У гіпотетичному силогізм як посилок (Суджень з яких робиться висновок) входять судження виду p В® q і одне з суджень p або q . Висновок робиться або щодо p , або відносно q .
Розрізняють чотири види (Модусу) умовних силогізмів:
1.Условний силогізм, що отримав назву твердження по посилці. Він має наступну структуру
((p В® q) Г™p) В® q,
де p і q - якісь судження. Прочитати цей вираз можна так: В«Якщо з p слід q і p істинно, то q також істинно В». Прикладом такого силогізму може бути наступне міркування: В«Якщо в кімнаті затопити піч, то стане тепло. У кімнаті затопили піч. ...
