Задачи по ЛОГИКЕ

решить 7 задач:
1. Правильно ли используются языковые выражения в следующем умозаключении? Если нет, то какой семантический принцип в нем нарушен?
Морковь – это овощ. Морковь пишется с мягким знаком. Следовательно, овощ пишется с мягким знаком.
2. Проверьте табличным способом, является ли данная формула тождественно-истинной (общезначимой).
((p  q)  (q  (r  p)))  (r  р)
3. Определите вид и проверьте правильность следующего непосредственного умозаключения.
Некоторые богатые не являются счастливыми.
Некоторые счастливые люди являются бедными.
4. Определите состав, фигуру, модус и проверьте правильность следующего силлогизма.
Все крокодилы кровожадны.
Ни один крокодил не разбойник.
Ни один разбойник не является кровожадным.
5. С помощью круговых схем определите, в каких отношениях находятся между собой следующие понятия.
(1) многоэтажный дом, (2) небоскреб, (3) трехэтажный дом, (4) офисное здание, (5) третий этаж, (6) дом, построенный в XVIII веке.
6. Установите вид и проверьте правильность следующего деления.
Целые числа делятся на четные, нечетные и отрицательные.
7. Установите вид и проверьте правильность следующего определения.
Динозавр – это вымершее млекопитающее мезозойской эры.