Формулу можно построить с использованием правила:
Формулу можно построить с использованием правила:
Формулу можно построить с использованием правила:
Формулу можно построить с использованием правила:
Любое вхождение переменной в атомарную формулу:
Если в бескванторной формуле заменить атомы на пропозициональные, то получим формулу:
Если х - свободное вхождение в формулу А, то оно всегда:
Если х - свободное вхождение в формулу А или В, то оно:
Если х - свободное вхождение в формулу А или В, то оно:
Если х - свободное вхождение в формулу А или В, то оно: