PanLinx
русский
rus-000
материальная импликация
English
eng-000
material implication
PanLex
