ILI-1.5 relation(s)

eq_synonym

PWN-3.0 relation(s)

eq_synonym

conditional relation _1(n), implication _2(n), logical implication _1(n) a logical relation between propositions p and q of the form `if p then q';if p is true then q cannot be false

CILI relation(s)

eq_synonym

conditional_relation _1(n), implication _5(n), logical_implication _1(n) a logical relation between propositions p and q of the form `if p then q'; if p is true then q cannot be false