1.Логика высказываний. Понятие равносильности формул. Равносильные преобразования формул логики высказываний
2.Исчисление высказываний. Понятие теоремы, посылки и следствия.
Сайт управляется системой
uCoz