4.3.1. Syntax, Semantics, Formal logic-connectives, truth tables Notes | Artificial Intelligence BSC-CSIT | TU | TABFlux