Propositional Logic

Home > Philosophy > Logic > Inference > Propositional Logic

It is the study of propositions and their logical relationships, typically represented using symbols such as "and," "or," and "not".