Исчисление называется достоверным, если:
(Отметьте один правильный вариант ответа.)
Варианты ответа
не существует такой формулы A, что |- A и |-¬ A
любая выводимая формула является общезначимой(Верный ответ)
любая общезначимая формула A выводима