ВУЗ:
Составители:
Рубрика:
36
и и л л и и л и и и
и л л и л и и л и л
л и и л л и и и л л
л л и и л л л и и и
Для логических формул, состоящих из трех простых суждений, сводная
таблица истинности принимает следующий вид:
p q r ┐р ┐q ┐r p Λ q Λ r p V q V r p Ý qÝ r
и и и л л л и и л
и и л л л и л и л
и л и л и л л и л
и л л л и и л и и
л и и и л л л и л
л и л и л и л и и
л л и и и л л и и
л л л и и и л л л
В этой таблице отсутствуют все виды условных суждений
(импликативные, репликативные и эквивалентные), поскольку в них
выражается специфика только бинарных отношений - отношений между двумя
суждениями.
Приведем пример исчисления истинности суждения с помощью процедур
логики высказываний. Рассмотрим следующее высказывание: “Если человеком
совершено преступное деяние, то его следует привлечь к суду, но сейчас
привлечь гражданина М. к суду невозможно. Следовательно, он не совершил
никаких преступных деяний”. Обозначим:
суждение “ человеком совершено преступное деяние” – р;
суждение “ его следует привлечь к суду” – q;
суждение “привлечь гражданина М. к суду невозможно” - ┐q;
суждение “гражданин М не совершал преступных деяний” - ┐р.
Тогда логическая формула данного суждения принимает следующий вид:
((p → q) ^ ┐q) → ┐р
В этой формуле только два простых суждения. Следовательно, в
соответствующей ей таблице истинности должно быть всего четыре строки:
р q ┐р ┐q p → q (p → q) ^ ┐q ((p → q) ^ ┐q) → ┐р
и и л л и л и
и л л и л л и
л и и л и л и
л л и и и и и
1 2 3
Страницы
- « первая
- ‹ предыдущая
- …
- 35
- 36
- 37
- 38
- 39
- …
- следующая ›
- последняя »
