Inference rules are those rules which are used to describe certain conclusions. The inferred conclusions lead to the desired goal state. In propositional logic, there are various inference rules which can be applied to prove the given statements and conclude them. There are following laws/rules used in propositional logic: ModusContinue Reading

It is a branch of logic which is also known as statement logic, sentential logic, zeroth-order logic, and many more. It works with the propositions and its logical connectivities. It deals with the propositions or statements whose values are true, false, or maybe unknown. Syntax and Semantics of Propositional Logic Syntax and semantics defineContinue Reading