Построение таблицы истинности для произвольного умозаключения

Построение таблицы истинности для произвольного умозаключения
2) Определим, как связаны эти простые высказывания в посылках и заключении, и обозначим этот способ связи логическим союзом (пропозициональной связкой):
Если идет дождь, то асфальт мокрый - (p ? q).
Неверно, что асфальт мокрый - ˥q.
---------------------------------------------------------------------
Неверно, что идет дождь - ˥р.
3) Соединим посылки логическим союзом И (конъюнкцией), а переход от посылок к заключению обозначим союзом ЕСЛИ…, ТО (импликацией):
(((p →q) ˄ ˥q) → ˥р)

4) Проверим, правильно ли мы построили формулу, выражающую форму данного умозаключения, построив для полученного выше выражения дерево формулы:
(((p →q) ˄ ˥q) → ˥р)
((p →q) ˄ ˥q) ˥р
(p →q) ˥q р
p q q
Итак, наше выражение является формулой, в состав которой входят 7 следующих подформул: p, q, ˥р, ˥q, (p →q), ((p →q) ˄ ˥q), (((p →q) ˄ ˥q) → ˥р).
Построение таблицы истинности для произвольного умозаключения

Построение таблицы истинности для произвольного умозаключения
5) В верхнюю строку запишем полученные подформулы:

Построение таблицы истинности для произвольного умозаключения
6) Под каждой подформулой проставим значения, которые она принимает при соответствующем наборе значений переменных формулы:

Построение таблицы истинности для произвольного умозаключения

Построение таблицы истинности для произвольного умозаключения

Построение таблицы истинности для произвольного умозаключения

Построение таблицы истинности для произвольного умозаключения

Построение таблицы истинности для произвольного умозаключения