Контрольная работа: Основы и законы логики

Следовательно а суть b

( a ^ b)—c v c (a ^ c)

a ^ b

б) Если приговор не обоснован, то он будет отменён. Данный

приговор отменён. Следовательно он не обоснован.

Ответ: Отрицающий модус. Вывод условно- правильный.

Если а не суть b, то с

А суть с

а не суть b

( а ^ -b)—c

a ^ - b

Задание 22. Сделайте вывод из посылки по одному из модусов разделительно- категорического умозаключения, постройте его схему.

а) Правонарушения делятся на преступления и проступки. Данное

правонарушение- проступок. Следовательно…

Ответ: соединительно- разделительное суждение

Следовательно это один из видов правонарушения.(или:

Преступление тоже правонарушение)

(a ^ b ^ c)—a ^ c

a ^ c

б) Документы, являющиеся вещественным доказательством,

остаются при деле в течении всего срока хранения последнего.

Либо передаются заинтересованным лицам. Следовательно…

Ответ: Дизъюнктивное суждение

а суть b или с

а или b или с

(а ^ b) v c

a v b v c

Задание 23. Какой вид доказательства имеется в следующем рассуждении? Нет ли каких- либо ошибок в доказательстве? Все птицы размножаются яйцами: утконос тоже птица, так как он размножается яйцами.

Ответ: Прямое доказательство в форме категорического