1. Выполните формализацию умозаключения на языке логики высказываний.  2. Составьте таблицу истинности для полученной логической формы.  3. По таблице истинности сделайте вывод о правильности либо неправильности

1. Выполните формализацию умозаключения на языке логики высказываний. 

2. Составьте таблицу истинности для полученной логической формы. 

3. По таблице истинности сделайте вывод о правильности либо неправильности логической формы умозаключения и другие возможные выводы. 

4. Если умозаключение неправильное по форме, предложите иной ква-лификатор, делающий умозаключение правильным.

1) Если подозреваемый совершил преступление, то он сделал это с корыстной целью. Если он сделал это с корыстной целью, то не допускал, что преступление будет раскрыто. Если подозреваемый имеет экономическое образование, то он допускал, что преступление будет раскрыто. Подозреваемый совершил преступление. Значит, он имеет экономическое образование. 

2) В преступлении могли быть замешаны только известные рецидивисты Смит, Джонс, Браун и Фокс. Смит никогда не ходит на дело без Джонса, Браун — в одиночку, а Джонс — без Фокса. Таким образом, совершенно ясно, что без Джонса в этом преступлении не обошлось.