PanLinx
português
por-000
por função de verdade
English
eng-000
truth-functional
PanLex