Classical propositional logic
= Classical propositional logic
Classical propositional logic interprets propositions as true or false and validates principles such as the <law of excluded middle> and <double-negation elimination>.
= Classical propositional logic
Classical propositional logic interprets propositions as true or false and validates principles such as the <law of excluded middle> and <double-negation elimination>.