Практикум содержит теоретический и практический материал содержательного изложения логики высказываний, использующее семантическое понятие истинностного значения, которое называется алгеброй высказываний. Предназначен для студентов направлений 010500.62 «Математическое обеспечение и администрирование информационных систем», 230100.62 «Информатика и вычислительная техника», 231000.62 «Программная инженерия», изучающих дисциплину «Математическая логика».