4.1. Formal logic: connectives, truth tables, syntax, semantics, tautology, validity, well-formed-formula Notes | Artificial Intelligence BEI-OLD | TU | TABFlux