About 41 results found. (Query 0.3388 seconds)
iff 13.7. tautology 13.8. entailment (Logical consequence) 13.9. universal quantification \(\forall\) 13.10. universal quantifier \(\forall x, \forall (x)\) or \((x)\) 13.11. existential quantification \(\exists\) 13.12....