4.3.2. Tautology, validity, well-formed-formula Notes | Artificial Intelligence BSC-CSIT | TU | TABFlux