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