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