Четыре типа рассуждений в условных умозаключениях

o Антецедент	· Консеквент
o Утверждение антецедента	· Утверждение консеквента
o Правильные суждения	· Неправильные суждения
o Пример: Если я буду соблюдать диету, я похудею.	· Пример: Если Гарри пойдет в универсам, то у него будет полный холодильник продуктов.
o Утверждение: Я соблюдаю диету.	· Холодильник полон.
o Следовательно, я похудею.	· Следовательно, Гарри сходил в универсам.
o Отрицание антецедента	· Отрицание консеквента
o Неправильные суждения	· Правильные суждения
o Пример: Если идет дождь, то у меня мокрые волосы.	· Пример: Если Джуди и Брюс влюблены друг в друга, то они планируют пожениться.
o Отрицание: Дождя нет.	· Они не планируют пожениться.
o Следовательно, у меня сухие волосы.	· Следовательно, Джуди и Брюс не влюблены друг в друга.