ВУЗ:
Составители:
31
Таблица 2.2.-Таблица истинности для операции «конъюнкция»
(А и В — исходные высказывания, 1 — истина, 0 — ложь):
А В А^В
1 1 1
1 0 0
0 1 0
0 0 0
Операция логического сложения (дизъюнкция)
Высказывание, полученное в результате дизъюнкции, истинно то-
гда и только тогда, когда истинно хотя бы одно из исходных высказы-
ваний.
Дизъюнкция обозначается «
∨
» или «+».
Таблица 2.3.-Таблица истинности для операции «дизъюнкция»
(А и В — исходные высказывания, 1 — истина, 0 — ложь):
А В А
∨
В
1 1 1
1 0 1
0 1 1
0 0 0
Пример
«2 = 2 или 2 = 5» — «два равно двум» истинно, «два равно пяти»
ложно, высказывание «два равно двум или два равно пяти» — истинно.
Операция импликации
Позволяет получить сложное высказывание из двух простых вы-
сказываний и грамматической конструкции «если..., то...».
Слово «то», можно заменить словом «следовательно». Часть импли-
кации, идущая после слова «если», называется основанием, посылкой
или антецедентом. Часть импликации, идущая после слова «то» называ-
ется следствием, заключением или консеквентом.
Импликация ложна тогда и только тогда, когда полсылка истинна,
а заключение — ложно. В остальных случаях импликация истинна.
Импликация обозначается знаками «→», «
⊃
».
PDF created with FinePrint pdfFactory Pro trial version www.pdffactory.com
Таблица 2.2.-Таблица истинности для операции «конъюнкция» (А и В — исходные высказывания, 1 — истина, 0 — ложь): А В А^В 1 1 1 1 0 0 0 1 0 0 0 0 Операция логического сложения (дизъюнкция) Высказывание, полученное в результате дизъюнкции, истинно то- гда и только тогда, когда истинно хотя бы одно из исходных высказы- ваний. Дизъюнкция обозначается « ∨ » или «+». Таблица 2.3.-Таблица истинности для операции «дизъюнкция» (А и В — исходные высказывания, 1 — истина, 0 — ложь): А В А∨ В 1 1 1 1 0 1 0 1 1 0 0 0 Пример «2 = 2 или 2 = 5» — «два равно двум» истинно, «два равно пяти» ложно, высказывание «два равно двум или два равно пяти» — истинно. Операция импликации Позволяет получить сложное высказывание из двух простых вы- сказываний и грамматической конструкции «если..., то...». Слово «то», можно заменить словом «следовательно». Часть импли- кации, идущая после слова «если», называется основанием, посылкой или антецедентом. Часть импликации, идущая после слова «то» называ- ется следствием, заключением или консеквентом. Импликация ложна тогда и только тогда, когда полсылка истинна, а заключение — ложно. В остальных случаях импликация истинна. Импликация обозначается знаками «→», « ⊃ ». 31 PDF created with FinePrint pdfFactory Pro trial version www.pdffactory.com
Страницы
- « первая
- ‹ предыдущая
- …
- 29
- 30
- 31
- 32
- 33
- …
- следующая ›
- последняя »