3.3.Язык логики высказываний.Математическая логика и теория алгоритмов.

Рассмотренные нами логические понятия служат основой для превращения логики в математическую науку. Будем записывать высказывания в символическом виде. Для этого введем искусственный язык — язык логики высказываний. Весь материал взят: