5.Сложные высказывания и их виды.

В алфавите КЛВ только 1 группа не логических символов может называться пропозициональные переменные.Для их записи мы будем использовать P,q,z,s.

Пропозициональными переменными называются простые высказывания.Высказывания тождественны по высказыванию по содержанию обозначаются одной и той же переменной,не тождественно разной.

Первый космонавт , полетел в космос

Ю Гагарин полетел в космос

2.Пропозициональные связки – это символы для обозначения способов связи высказываний.

Пропозициональные связки

↓

Способы связи высказываний

↓

Логические союзы

Пропозициональные связки 1.¬ - отрицание «неверно что»

2.л – конъюнкция «и» &

3. v – дизъюнкция «или»

4. v – строгая дизъюнкция «либо»

5.→ импликация «если то»

6.↔ эквиваленция «если и только если»

3. ( ) – технические

6.Условия истинности сложных высказываний.

6-7.условия истинности сложных высказываний.

A B	AB	AB	AB	AB	AB	A
и и	и	и	л	и	и	л
и л	л	и	и	л	л	л
л и	л	и	и	и	л	и
л л	л	л	л	и	и	и

p q r	(p  q)  r
и и и	и и
и и л	и л
и л и	л и
и л л	л и
л и и	л и
л и л	л и
л и и	л и
л л л	л и

p q r	(p  q)  (q  r)
и и и	и и и
и и л	и и и
и л и	л и и
и л л	л и л
л и и	л и и
л и л	л и и
л и и	л и и
л л л	л и л

p q	(p  q)  (p  q)
и и	и л л л л
и л	и л л л и
л и	и л и л л
л л	л л и и и