Решить задачи

Докажите истинность или ложность умозаключения. Нужно полное решение задач средствами формальной логики (например, с помощью простого категорического силлогизма или другого метода)
Чтобы считаться действительным, договор страхования должен быть заключён в письменной форме. Этот договор заключён в письменной форме, а, значит, этот договор действителен

Преступлениями небольшой тяжести признаются умышленные и неосторожные деяния, за совершение которых максимальное наказание, предусмотренное настоящим Кодексом, не превышает трех лет лишения свободы. К совершил убийство своей жены и её любовника в состоянии аффекта, за что был лишён свободы на срок в три года. Следовательно, К. совершил преступление небольшой тяжести.