Логика. Панькова Н.М. - 16 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

Составители: 

Рубрика: 

Давайте построим таблицу истинности для импликации:
р q р
⊃
q
1 1 1
1
1
1 0 1
0
0
0 1 0
1
1
0 0 0
1
0
Построим таблицу значений для дизъюнкции:
р q p
∨
q
1 1 1
1
1
1 0 1
1
0
0 1 0
1
1
0 0 0
0
0
Построим таблицу значений для строгой дизъюнкции:
р q p
\º/
q
1 1 1
0
1
1 0 1
1
0
0 1 0
1
1
0 0 0
0
0
Таблица для отрицания состоит всего из двух строк, поскольку
формула, образованная при помощи отрицания и не включающая других
логических констант, содержит только одну пропозициональную
переменную, а 2(1)=2.
р
р
1
0
0
1
И, наконец, таблицу истинности для тождества:
p q p
≡
q
1 1 1 1 1
1 0 1 0 0
0 1 0 0 1
0 0 0 1 0
Теперь, когда мы познакомились с определениями логических
констант, нам стало доступно решение еще одной задачи: мы можем, зная
16

Страницы