Entailment and Proof, Sound and complete property of a logic system. Otherwise of Modus ponens and Modus tollens is not entailed. Propositional logic. Discrete structures.
13 окт 2024