2015-03-27
297
Импликация отражает ту сущность нашего мира, когда следствие может иметь несколько причин.
Мир допускает переход от причины к следствию, но не обратно. (П®С).
Имеются четыре модуса условно-категоричных силлогизмов:
Такая запись в виде посылок и заключения называется аргументом. Для проверки аргумента необходимо проверить, чтобы из конъюнкций посылок следовало заключение. Такая проверка может быть проверкой правильности логического вывода.
Проверим аргумент по первому модусу условного силлогизма:
Проверим аргумент по второму модусу условного силлогизма:
