Логика 12 вариант

ТЕМА 12. Сложные суждения

План

1. Образование сложных суждений.

2. Установление логического значения сложных суждений при помощи таблиц истинности.

Упражнения

1. Установите вид следующих сложных суждений и определите их истинность при помощи таблиц истинности:

1.1. Редакция вправе увеличить или уменьшить размер гонорара.

1.2. Банан – пищевое растение и источник доходов для экспортирующих стран.

1.3. Он сейчас находится в Минске или в Петербурге.

1.4. Кукушка хвалит петуха за то, что хвалит он кукушку.

1.5. Если к двум прибавить два, то получится четыре.

2. Постройте таблицу истинности для следующего выражения: (p(pvq)).

Решение:

1. Вид суждения – дизъюнкция , так как высказывание истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

А	В	A v B
0	0	0
0	1	1
1	0	1
1	1	1

1.2 Вид суждения – конъюнкция, так как высказывание истинно тогда , когда только обе простых части будут верны.

А	В	A & B
0	0	0
0	1	0
1	0	0
1	1	1

3. Вид суждения – дизъюнкция , так как высказывание истинно тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

А	В	A v B
0	0	0
0	1	1
1	0	1
1	1	1

3. Вид суждения – конъюнкция, так как высказывание истинно тогда , когда только обе простых части будут верны.

А	В	A & B
0	0	0
0	1	0
1	0	0
1	1	1

3. Вид суждения – импликационное , так как выражает простую последовательность.

А	В	A => B
0	0	0
0	1	0
1	0	0
1	1	1

2. (p(pvq))

p	q	pvq	p=>( pvq)	(p(pvq))
0	0	0	1	0
0	1	1	1	0
1	0	1	0	1
1	1	1	1	0