Построение таблицы истинности для произвольного умозаключения
Построение таблицы истинности для произвольного умозаключения 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) → ˥р). Построение таблицы истинности для произвольного умозаключения