Высказывания.
Логические связки высказываний.
Формализация высказываний.
Высказывание
Высказывание - это повествовательное
предложение, о котором в данный
момент времени можно сказать, что оно
либо истинно, либо ложно (но не то и
другое одновременно)
Высказывание
Функция y = cos
Математика
