Упражнение 5

Доказать, что если R  W  W – рефлексивно, то А  А – тавтология относительно шкалы (W, R) для любой формулы А.

Формула (А  В)  (А  В) является тавтологией относительно класса всех шкал Крипке. Такие формулы называют естественно истинными. Формула А  А верна относительно некоторого класса шкал. Такие формулы называются условно истинными.