"logically valid" -
related articles and key terms
Related terms:
lor
biconditional
leftrightarrow
natural deduction
logical connectives
propositional logic
Wikipedia sources:
First-order logic
Propositional calculus
Context for words:
logically
valid