Две формулы α и β в исчислении предикатов называются дедуктивно эквивалентными, если
- из аксиом этого исчисления и формулы α посредством правил исчисления можно вывести только формулу β
- из аксиом этого исчисления и формулы α посредством правил исчисления можно вывести формулу β и, наоборот: из аксиом исчисления и формулы β посредством правил исчисления выводима формула α
- из аксиом этого исчисления и формулы α посредством правил исчисления нельзя вывести формулу β
- из аксиом этого исчисления и формулы α посредством правил исчисления нельзя вывести формулу β и, наоборот: из аксиом исчисления и формулы β посредством правил исчисления нельзя вывести формулу α
Для просмотра статистики ответов нужно
залогиниться.