1.3. Expressing statements in logic propositional logic, rules of inference in propositional logic, validity of an argument, methods of tableaux Notes | Discrete Structure BEI | TU | TABFlux