Лекции по логике / TABL_1

Табл. Истинности сложных суждений

Р	 Р
и	л
л	и

Отрицание суждения. Графическое изображение: ~ ;  .Двойное отрицание  Р равнозначно истинному суждению Р.

Соединительные ( с союзом И) конъюнктивные (^) (&)

P	Q	P^Q
и	и	и
и	л	л
л	и	л
л	л	л

Разделительные ( с союзом ИЛИ) дизъюнктивные. Слабая или нестрогая дизъюнкция. (v)

P	Q	PvQ
и	и	и
и	л	и
л	и	и
л	л	л

Условные (импликативные с союзом «если, то») Графическое изображение:→ ;  

P	Q	P Q
и	и	и
и	л	л
л	и	и
л	л	и

Эквивалентные ( с союзами если и только если)

Графическое изображение: ~ ; = ;  ; ↔

P	Q	P  Q
и	и	и
и	л	л
л	и	л
л	л	и