Escolar Documentos
Profissional Documentos
Cultura Documentos
Cada vez que el símbolo o variable (x) sea reemplazado por un elemento del conjunto (en
este caso R) la función proposicional pasa a ser una proposición y tiene su valor de verdad.
Talas de Verdad.
Axioma de la negación p y p tienen valores de verdad contrarios.
La negación: Condicional
p p p q p ⇒ q
V F V V V
F V V F F
F V V
La disyunción
F F V
p q p ∨ q Bicondicional
V V V
V F V p q p ⇔ q
F V V V V V
F F F V F F
F V F
La conjunción
F F V
p q p ∧ q Disyunción excluyente
V V V
V F F p q p ∨ q
F V F V V F
F F F V F V
F V V
F F F
Facultad de Ingeniería
Profesor Jorge Peñailillo Bacho
; Escriba las proposiciones de los enunciados con simbología lógica y probar con una
tabla de verdad.
b) El producto de dos números reales es mayor que cero si y sólo si ambos son
positivos o ambos negativos
; Determinar cuáles de las siguientes expresiones son proposiciones y cuáles son funciones
proposicionales:
p ⇒ q ⇔ ( ∼p ∨ q)
Leyes de identidad: p ∨ T ⇔ T
p ∧ T ⇔ p
p ∨ C ⇔ p
p ∧ C ⇔ C
Leyes de Idempotencia: p ∨ p ⇔ p
p ∧ p ⇔ p
Leyes de Asociatividad:
{ (p ∨ q ) ∨ r } ⇔ { p ∨ (q ∨ r ) }
{ (p ∧ q ) ∧ r } ⇔ { p ∧ (q ∧ r ) }
Leyes de Conmutatividad:
p ∨ q ⇔ q ∨ p
p ∧ q ⇔ q ∧ p
p ⇒ p ∨ q ; p ∧ q ⇒ p
∼ (∼p ) ⇔ (p)
Leyes de la Distributividad:
{ p ∨ (q ∧ r) } ⇔ { (p ∨ q) ∧ (p ∨ r ) }
{ p ∧ (q ∨ r) } ⇔ { (p ∧ q) ∨ (p ∧ r ) }
(p ⇒ q ) ⇔ ( ∼q ⇒ ∼p)
(p ⇔ q ) ⇔ ( ∼p ⇔ ∼q)