ЛОГИЧЕСКАЯ ИСТИННОСТЬ – см. Логика высказываний, Логика предикатов.