Правила висновування, логічні форми, синтаксис передумов, модус поненс, семантика класичної логіки, багатозначна логіка, синтаксичні функції, істинність висновків, аналіз аргументації.