ILI-1.5 relation(s)

eq_has_holonym

eq_near_synonym

ILI-1.5 relation(s)

eq_has_holonym

eq_near_synonym

PWN-3.0 relation(s)

eq_has_holonym

propositional calculus _1(n), propositional logic _1(n) a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

eq_near_synonym

proposition _5(n) a statement that affirms or denies something and is either true or false

PWN-3.0 relation(s)

eq_has_holonym

propositional calculus _1(n), propositional logic _1(n) a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

eq_near_synonym

proposition _5(n) a statement that affirms or denies something and is either true or false