Цель: получить представление о методах и средствах формальной логики для решения практических задач.
Задачи:
1) определять простые и сложные высказывания, выявлять в сложных высказываниях логические связки;
2) осуществлять перевод с естественного языка на формальный и сформального на естественный язык;
3) определять значение истинности логической формулы, доказывать тождественную истинность или ложность формул, доказывать логические законы;
4) решать практические задачи с применением логических формул и таблиц истинности;
5) строить цепочки умозаключений с применением законов формальной логики.