2.7 Логические формулы
Любое высказывание или целое рассуждение можно подвергнуть формализации. Это значит отбросить его содержание и оставить только его логическую форму, выразив ее с помощью уже известных нам условных обозначений конъюнкции, нестрогой…