20) Сложные суждения и их виды. Логическая форма сложных суждений.

Сложное суждение – это суждение, состоящее из нескольких простых, соединённых логическими связками. Различают следующие виды сложных суждений: соединительные, разделительные, условные, эквивалентные.

1. Соединительными называются суждения, состоящие из нескольких простых, соединённых связкой «и». «Кража и мошенничество относятся к умышленным преступлениям». В логической форме- p˄q, где p и q –члены конъюнкции (конъюнкты), ˄- символ конъюнкции.

2. Разделительными, или дизъюнктивными, называют суждения, состоящие из нескольких простых, соединённых логической связкой «или». «Договор купли-продажи может быть заключен в устной или письменной форме». p˅q, где p и q – члены дизъюнкции, ˄-символ дизъюнкции.

Разделяют строгую и нестрогую дизъюнкции. Нестрогая – суждение, в котором связка «или» употребляется в соединительно-разделительном значении.

Строгая – суждение в котором связка «или» употреблена в исключающе-разделительном значении. (знак как предыдущий, только двойной. Ворд такого не знает).

Также разделяют полную и неполную дизъюнкции. Полная (закрытая)-суждение в котором перечислены все признаки или все виды определённого рода. <p˅q˅r>. Неполная- суждение, в котором перечислены не все признаки или виды определённого рода. p˅q˅r

3. Условными, или импликативными, называют суждения, состоящие из двух простых, соединённых логической связкой «если...,то…». «Если предохранитель плавится, то лампа гаснет» p→q. Причина - антецедент, следствие – консеквент.

4. Эквивалентными называют суждения, включающие в качестве составных два суждения, связанных двойной условной зависимость. «если, и только если…,то…» p ↔q.

21) Семантические таблицы истинности.

Истинность соединительных суждений.

p	q	p˄q
И	И	И
И	Л	Л
Л	И	Л
Л	Л	Л

(суждение истинно при истинности всех конъюнктов и ложно при ложности хотя бы одного)

Истинность нестрогой дизъюнкции

p	q	p˅q
И	И	И
И	Л	И
Л	И	И
Л	Л	Л

(суждение истинно при истинности хотя бы одно члены дизъюнкции и ложной при ложности обоих её членов)

Истинность строгой дизъюнкции

p	q	p˅˅q
И	И	Л
И	Л	И
Л	И	И
Л	Л	Л

Истинность импликации

p	q	p→q
И	И	И
И	Л	Л
Л	И	И
Л	Л	И

(ложно только при истинности антецедента и ложности консеквента)

Истинность эквивалентного суждения

p	q	p↔q
И	И	И
И	Л	Л
Л	И	Л
Л	Л	И

(истинно когда оба суждения принимают одинаковые значения).