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-NEW | TU | TABFlux