@MISC{Statement_propositionalformulas, author = {Proposition Is Statement}, title = {Propositional Formulas}, year = {} }

Share

OpenURL

Abstract

ell-formed propositional formulas over V is defined by 1. V # P 2. u, v # P =# (u # v) # P 3. u, v # P =# (u # v) # P 4. u # P =# u # P 5. No other strings of symbols are in P . Note that " =# " is a meta-symbol that also denotes implication, but in this context it is an assertion; that is, a statement that is necessarily true. Similarly, the meta-symbol " # " is an assertion that two formulas are exactly equivalent; for example, x # x # #. 2 Properties of the Logical Connectives 1. x # y # y # x (commutativity of conjunction) 2.<F9.6