Cálculo proposicional

Page 1

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


Turn static files into dynamic content formats.

Create a flipbook
Issuu converts static files into: digital portfolios, online yearbooks, online catalogs, digital photo albums and more. Sign up and create your flipbook.