Gabriel GramicelliFeb 6, 20222 min readProving in propositional logic, Conditional and Indirect proofs