ВУЗ:
Составители:
Рубрика:
27
Строгая дизъюнкция истинна тогда, когда истинно лишь одно из двух про-
стых суждений. Когда же а и в одновременно истинны, или одновременно
ложны, тогда сложное суждение является ложным.
Таблица истинности:
Пример 4: В суждении: «Если на заводе установить новое оборудование,
то повысится производительность труда» - два простых суждения связаны
между собой импликацией. Формула этого сложного суждения: а в.
Таблица истинности импликации:
а
в
а в
и
и
л
л
и
л
и
л
и
л
и
и
Пример 5: В том случае, когда исходные суждения соединяются между
собой логическим союзом «если и только если …, то» или «тогда и только то-
гда, когда …», мы имеем дело с суждениями эквивалентности. Пример: «Этот
ученый не завершит свою научную работу, если и только если не будет свое-
временного финансирования его экспериментов». Формула эквивалентных су-
ждений: если а, то в, и если в, то а. Символическая запись: а в.
Студенты нередко путают суждения эквивалентности с импликацией. Для
того чтобы их отличить, нужно помнить, что эквивалентные суждения можно
«обернуть», т.е. поменять местами.
Например: «Если студент получает повышенную стипендию, - значит, он
сдал все экзамены на «отлично»» и «Если студент сдал все экзамены на «от-
лично», - значит он будет получать повышенную стипендию».
Таблица истинности такова:
а
в
а в
и
и
л
л
и
л
и
л
и
л
л
и
а
в
а в
и
и
л
л
и
л
и
л
л
и
и
л
Страницы
- « первая
- ‹ предыдущая
- …
- 25
- 26
- 27
- 28
- 29
- …
- следующая ›
- последняя »
