Определите вид сложного суждения и изобразите таблицу истинности используемого в нем логического союза: (суждение не дано)

Деление простых суждений:

Объединенная классификация (по количеству и качеству):

▪ А — общеутвердительные суждения: Все S есть Р

▪ I — частноутвердительные суждения: Некоторые S есть Р

▪ Е — общеотрицательные суждения: Все S не есть Р

▪ О — частноотрицательные суждения: Некоторые S не есть Р.

Таблицы истинности для логический союзов:

1. Конъюкция — соединительный союз:

Конъюкция В & С истина тогда и только тогда, когда оба конъюнкта истинны, и ложна, когда хотя бы один из конъюнктов ложен.

2. Слабая дизъюнкция: B и/или C:

Слабая дизъюнкция В v С ложна тогда и только тогда, когда оба дизъюнкта ложны, и истинна, когда хотя бы один из дизъюнктов истинен.

3. Строгая дизъюнкция — строгое разделение: либо B, либо С:

Строгая дизъюнкция В ≠ С истина тогда и только тогда, когда В и С имеют разные логические значения, и ложна, когда В и С имеют одинаковые логические значения.

4. Импликация — условный союз: если В, то С:

Импликация В → С ложна только в одном случае, если основание И истинно, а следствие С — ложно, и истинна во всех остальных случаях.

5. Эквиваленция — союз эквивалентности: В тогда и только тогда, когда С:

Эквивалентное суждение В ↔ С истинно тогда и только тогда, когда оба простых суждения В и С имеют одинаковые логические значения, и ложно, когда В и С имеют различные логические значения.

№18