Некоторые способы формирования сложных логических структур:
- Использование логических связок. 15 К ним относятся конъюнкция, дизъюнкция, импликация, эквивалентность и отрицание. 15 Логические связки используются в качестве объединяющего звена, привязывающего одно простое суждение к другому. 1
- Конъюнкция. 1 Это способ связи простых суждений в сложные, при котором истинность полученного суждения напрямую зависит от истинности составных. 1
- Дизъюнкция. 1 Бывает строгой и нестрогой. 1 При нестрогом виде члены дизъюнкции не исключают друг друга. 1
- Эквивалентность. 1 Сложное суждение истинно только в тех случаях, когда истинны оба простых суждения, входящих в его состав, и ложно при ложности обоих этих суждений. 1
- Отрицание. 1 Суждение истинно тогда, когда ложно отрицаемое понятие. 1
- Импликация. 1 Истинна во всех случаях, кроме одного. 1
Также для формирования сложных логических отношений могут использоваться списки, которые представляют структуры данных и позволяют создавать сложные отношения между объектами. 4