Задачи по логике

1.Записать суждение в канонической форме, определить его вид, указать распределенность терминов.
а) Все металлы электропроводны.
б) Некоторые современники динозавров не вымерли до сих пор.
в) Большинство людей не может быть свободно от общества, в котором живет.

2.Методом таблиц истинности проверить, является ли правильным следующее умозаключение.
а) Если тело является кристаллическим, то оно имеет определенную температуру плавления. Данное тело не является кристаллическим, поскольку оно не имеет определенной температуры плавления.
б) Если философ является последовательным материалистом, то он признает познаваемость мира. Если философ признает познаваемость мира, то он не является агностиком. Следовательно, если философ не является последовательным материалистом, то он агностик.

3.Записать суждение на ЯЛС, построить для него таблицу истинности.
1.Если Петр друг Ивана, то он не является ни другом Федора, ни другом Семена.
2.Либо Иван любит Марью, но она его не любит, либо Марья любит Ивана, но он её не любит.

4. 1. Методом таблиц истинности проверить, является ли правильным следующее умозаключение.
а) Если человек говорит неправду, то он заблуждается или сознательно вводит в заблуждение других. Этот человек говорит неправду, но явно не заблуждается. Следовательно, он сознательно вводит в заблуждение других.
б) Если человек удовлетворен работой и счастлив в семейной жизни, то у него нет причин жаловаться на судьбу. У этого человека есть причина жаловаться на судьбу. Значит, он удовлетворен работой, но не счастлив в семейной жизни, либо счастлив в семейной жизни, но не удовлетворен работой.