PanLinx
русский
rus-000
взаимно выводимый
English
eng-000
interdeducible
English
eng-000
interdeductive
English
eng-000
interderivable
русский
rus-000
дедуктивно-равный
PanLex