Oct. 28th, 2014
студенты и логика
Oct. 28th, 2014 09:30 pmПроверил мидтермы. Так-то нормально, но попадаются шедевры.
Типа задача (верен ли этот вывод, и если не верен, приведите контрпример, а если верен- докажите).
1. У меня пропала кошка Мурка.
2. Львы - это большие кошки.
Вывод: Вот в выходные мы были в Санта Крузе и видели морского льва - это, наверно, была наша Мурка.
Доказательство (от противного): предположим, что Мурка не кошка и была. Зачем бы мы, спрашивается, тогда ездили в Санта Круз?
Типа задача (верен ли этот вывод, и если не верен, приведите контрпример, а если верен- докажите).
1. У меня пропала кошка Мурка.
2. Львы - это большие кошки.
Вывод: Вот в выходные мы были в Санта Крузе и видели морского льва - это, наверно, была наша Мурка.
Доказательство (от противного): предположим, что Мурка не кошка и была. Зачем бы мы, спрашивается, тогда ездили в Санта Круз?