Professional Documents
Culture Documents
1) p ∨ ¬ p
2) p ⇒ p
3) ( p ∧ q ) ⇒ q
4) p ⇒ ( p ∨ q )
5) [ p ∧ ( p⇒ q) ] ⇒ q
6) ( p⇒ q) ⇒ [ p ⇒ ( q ∨ r ) ]
7) ( p⇒ q) ⇒ [( p ∧ r ) ⇒ q ]
8) [( p ∨ r ) ⇒ q ] ⇒ ( p⇒ q)
9) [ p ⇒ ( q ∧ r ) ] ⇒ ( p⇒ q)
10) ( p⇒ q) ⇒ [( p ∧ r ) ⇒ ( q ∧ r )]
11) ( p⇒ q) ⇒ [( p ∨ r ) ⇒ ( q ∨ r )]
12) [( p⇒ q) ∧ ( q ⇒ r)] ⇒ ( p ⇒ r )
En todo sistema algebraico se necesita definir una relación que establezca bajo cuales
condiciones dos expresiones son, para los efectos de la teoría en cuestión, esencialmente
iguales. Tal es por ejemplo, la relación de igualdad en álgebra elemental y la equivalencia
en lógica proposicional, que se definen a continuación.
Sean A y B dos formas proposicionales en los símbolos ( p, q, r, s,.......n). Se dice que A y B
son equivalentes si se obtienen los mismos valores lógicos para cualquiera sustitución de
los símbolos mencionados anteriormente, en este caso se escribe A ≡ B
28
RAZONAMIENTO LÓGICO
___ Guía elaborada por el prof: Ing Héctor González
C._
1) p ⇒ q ≡ ¬ p ∨ q
2) p ∧ ( p ∨ q ) ≡ p
3) p ∨ ( p ∧ q ) ≡ q
4) p ∧ ( ¬p ∨ q) ≡ p ∧ q
5) p ∨ ( ¬p ∧ q) ≡ p ∨ q
6) p ⇒ q ≡ ¬q ⇒ ¬p
7) p ⇒ q ≡ [ (p ∧ ¬q) ⇒ 0 ]
8) ( p ∧ q ) ⇒ r ≡ p ⇒ ( q ⇒ r )
9) ( p ∧ q ) ⇒ r ≡ ( p ∧ ¬r ) ⇒ ¬q
10) p⇒ ( q ∧ r ) ≡ ( p ⇒ q ) ∧ ( p ⇒ r )
11) p⇒ ( q ∨ r ) ≡ ( p ⇒ q ) ∨ ( p ⇒ r )
P ∧ P ↔P Idempotencia
P ∨ P ↔P Idempotencia
(p ∨ q) ↔ (q ∨ p) Ley conmutativa
¬ (P ∨ q) ↔ ¬p ∧ ¬q Ley De Morgan
¬ (p ∧ q) ↔ ¬p ∨ ¬q Ley De Morgan
¬ (P → Q) ↔P ∧ ¬Q
P ∨ Q ↔ (¬P → Q)
29
RAZONAMIENTO LÓGICO
___ Guía elaborada por el prof: Ing Héctor González
C._
2.7 CUANTIFICADORES
podemos particularizar esto diciendo: Existe un número real que es mayor que 0, o
generalizarlo diciendo
Todos los números reales son mayores que 0.
Notemos que tanto en la particularización como en la generalización se especifica un
conjunto en donde toma valores la variable, en este ejemplo el conjunto son los números
reales.
Existe una notación especifica para la particularización y la generalización:
∃x ∈ R | x > 0,
que se lee existe un x ∈ R tal que x es mayor que 0; mientras que
∀x ∈ R, x > 0
se lee para todo x ∈ R se cumple que x es mayor que 0.
Si p(x) es una función proposicional con extensión A = U, entonces se tiene que : para cada
x ∈ U se cumple la condición p(x). Este hecho lo simbolizaremos por:
Si p(x) es una función proposicional con extensión A ≠∅, entonces se tiene que existe por
lo menos un x ∈ U para el cual se cumple la condición p(x). Este hecho lo simbolizamos
por:
30
RAZONAMIENTO LÓGICO
___ Guía elaborada por el prof: Ing Héctor González
C._
31