Истинностная функция
Истинностная функция (Бетран Рассел: «Словарь разума, материи и морали»)
По данной истинности или ложности р, или, когда это нужно, р и q, задаётся истинность или ложность отрицания, дизъюнкции, конъюнкции, несовместности и импликации. Функция высказываний, обладающая этим свойством, называется «истинностной функцией».