Тип логической связи влияет на истинность сложного суждения, так как истинность такого суждения определяется не только значениями входящих в него простых суждений, но и свойствами логических союзов. stepik.org
Некоторые типы логических связей и их влияние на истинность сложных суждений:
- Конъюнкция. studizba.com Если любое из исходных суждений в отдельности или все вместе ложны, то конъюнкция также ложна. studizba.com Конъюнктивное суждение истинно только тогда, когда истинны оба исходных суждения. stepik.org
- Импликация. stepik.org Суждение истинно, когда основание (антецедент) ложно или следствие (консеквент) истинно. stepik.org Импликативное суждение ложно, когда основание истинно и следствие ложно. stepik.org
- Нестрогая дизъюнкция. stepik.org Суждение истинно, когда истинен, по крайней мере, один дизъюнкт. stepik.org Нестрого дизъюнктивное суждение ложно, когда ложны оба дизъюнкта. stepik.org
- Строгая дизъюнкция. stepik.org Суждение истинно, когда дизъюнкты имеют разные значения. stepik.org Строго дизъюнктивное суждение ложно, когда дизъюнкты имеют одинаковые значения. stepik.org
- Эквиваленция. stepik.org Суждение истинно, когда эквиваленты имеют одинаковые значения. stepik.org Эквивалентное суждение ложно, когда эквиваленты имеют разные значения. stepik.org
- Суждение с отрицанием. stepik.org Суждение истинно, когда подформульное выражение (простое суждение) ложно. stepik.org Суждение с отрицанием ложно, когда подформульное выражение (простое суждение) истинно. stepik.org