Читайте также:
|
|
Первой строке множества истинностных значений этой таблицы может быть сопоставлено сложное конъюнктивное суждение «Москва является столицей Российской Федерации, и в ней располагаются органы центрального управления нашей страной». Оно является истинным, поскольку истинными являются все входящие в него простые суждения-конъюнкты. Второй строке истинностных значений этой таблицы может быть сопоставлено сложное конъюнктивное суждение «Москва является столицей Российской Федерации и расположена на крайнем севере нашей страны». Оно является ложным, поскольку ложным является входящее в него второе простое суждение-конъюнкт. Третьей строке истинностных значений этой таблицы может быть сопоставлено сложное конъюнктивное суждение «Москва не является столицей Российской Федерации и в ней проживает более миллиона человек». Оно является ложным, поскольку ложным является входящее в него первое простое суждение-конъюнкт. Четвёртой строке истинностных значений этой таблицы может быть сопоставлено сложное конъюнктивное суждение «Москва не является столицей Российской Федерации и в ней проживает не более миллиона человек». Оно является ложным, поскольку ложными являются все входящие в него простые суждения-конъюнкты. Таким образом, конъюнктивное суждение истинно в том случае, если истинными являются все входящие в него суждения-конъюнкты, во всех остальных случаях оно ложно.
Таблица истинности нестрогого дизъюнктивного суждения схемы АÚВ (рис. 16):
А | В | А Ú В |
и и л л | и л и л | и и и л |
Рис. 16
Дата добавления: 2015-09-05; просмотров: 46 | Нарушение авторских прав
<== предыдущая страница | | | следующая страница ==> |
Табличное определение истинности | | | V Пример |