@MISC{Of_propositionallogic, author = {The Goal Of}, title = {Propositional Logic}, year = {} }

Share

OpenURL

Abstract

hat have been studied extensively. For example, "A is false", "A is true at time t" (from temporal Draft of August 31, 2000 6 Propositional Logic logic), "A is necessarily true " (from modal logic), "program M has type #"(from programming languages), etc. Returning to the first two judgments, let us try to explain the meaning of conjunction. We write A prop for the judgment "A is a proposition"andA true for the judgment "A is true" (presupposing that A prop). Given propositions A and B, we want to form the compound proposition "A and B", written more formally as A # B. We express this in the following inference rule: A prop B prop #F A # B prop This rule allows