Готовая контрольная работа

1. Правильно ли используются языковые выражения в следующем умозаключении? Если нет, то какой семантический принцип в нем нарушен?
2. Проверьте табличным способом, является ли данная формула тождественно-истинной (общезначимой).
((q ? r) ? ?p) ? ((p ? ?r) ? (p ? ?q))
3. Переведите следующее умозаключение на язык КЛВ и определите, к какому виду оно относится.
4. Определите, кто виновен в убийстве, если известно, что каждый из трех свидетелей говорит правду.
1-й: Если Браун (А) или Смит (B) невиновны (?), то виновен Джонс (C).
5. Определите вид и проверьте правильность следующего непосредственного умозаключения.
6. Определите состав, фигуру, модус и проверьте правильность следующего силлогизма.
Всех дантистов (средний термин) боятся дети (больший термин).
7. С помощью круговых схем определите, в каких отношениях находятся между собой следующие понятия.
(1) число, которое делится на два, (2) число, которое делится на три,
8. Установите вид и проверьте правильность следующего деления.
Семьи делятся на бездетные и многодетные.
9. Установите вид и проверьте правильность следующего определения.
Тавтологическое определение – это определение, содержащее
10. На одном заводе работают трое друзей – слесарь, токарь и сварщик. Их фамилии – Иванов, Петров и Николаев. У Николаева нет детей (значит нет и