Cálculo Proposicional El Vocabulario Funciones Negación Conjunción Disyunción Implicación Equivalencia
Principia Math ~ ∙ V ↄ ≡
Reglas de Formación
Todo signo propio es una FBF, es decir que: p, q, r son FBF
Si A es una FBF, entonces ~(A) es una FBF
Por lo tanto ~(p) ~(q) ~® son FBF
Si A y B son, ambas FBF, entonces: A≡ B, AↄB ,AVB, A∙B sonFBF Yↄ p, p~q, p~ↄ q, p~, Vq, p∙V qno son FBF Éstas son todas las reglas de formación
Se lee No Y O Si … entonces Si y solo si