Can I read Basic Inference Rules in Propositional Logic on EtoBox?

Basic Inference Rules in Propositional Logic by annierana is a document available to read on EtoBox.

What is Basic Inference Rules in Propositional Logic about?

This document lists 10 basic rules of inference for propositional logic, including negation introduction, conditional introduction, conjunction introduction, and disjunction elimination. It also lists important derived rules like modus tollens, hypothetical syllogism, and disjunctive syllogism. Finally, it provides common equivalences in propositional logic, such as De Morgan

Author

annierana

Language

EN