*

p p Pvp
V V V
F F V
*
 Conmutativa

*
p q r pvq (p v q)v r p q r q vr p v ( qv r)
V V V V V V V V V V
V V F V V V V F V V
V F V V V V F V V V
V F F V V V F F F V
F V V V V F V V V V
F V F V V F V F V V
F F V F V F F V V V
F F F F F F F F F F
 *

p q p^q ¬( p ^ q) p q ¬p ¬q ¬p v¬ q
V V V F V V F F F
V F F V V F F V V
F V F V F V V F V
F F F V F F V V V
 Ley de De Morgan

p q r q^ r p v (q ^ r) p q r pvq pvr (p v q).(p v r

V V V V V
V V V V V V
V V F F V
V V F V V V
V F V F V
V F V V V V
V F F F V
V F F V V V
F V V V V F V V V V V
F V F F F F V F V F F
F F V F F F F V F V F
F F F F F F F
*F F F F
*
 *
Probar la equivalencia lógica conocida como reducción al absurdo
*
*
*
Verificar las leyes de los silogismos disyuntivos
Ejemplo: Demostrar la implicación lógica de la Ley del modus
Tollendo Tollens
*
*
*
*
*
*
Proposición Abierta
Una proposición abierta P(x) es un enunciado sobre una
variable x que se convierte en una proposición cada vez
que ala variable x se sustituye por un valor particular x0

Es una proposición abierta. Se

Ejemplo1: P ( x) : 2 x  3  0 convierte en proposición para cada
número definido x0. En particular P(-
2) es cierta mientras que P(0) es
falsa

Ejemplo 2 A( x) : x 2  0 Si suponemos que x toma valores

reales, claramente A(x0) es falsa
para todo x0distinto de cero,
mientras que A(0) es verdadera
 *
Frecuentemente las proposiciones abiertas se utilizan con ciertas
expresiones llamadas Cuantificadores, con los cuales se determina el
valor de verdad de la proposición resultante. Los siguientes serán los
cuantificadores que usaremos.
x
1. Cuantificador Universal, para todo x, representado simbólicamente
por
2. Cuantificador existencial, para algún x, representado x
simbólicamente por
3. Cuantificador de existencia y unicidad, existe un único x,
representado simbólicamente por ! x
Observación 1: la frase ¨para cada x¨ se usa en el mismo sentido que la
frase ¨para todo x¨
Observación 2: Si una propiedad es compartida por todos los elementos
de un conjunto B, escribimos: ¨Todo x en B tiene la propiedad P¨,
simbólicamente
x  C , P( x)
 ¨Algún x en C tiene la propiedad P¨, simbólicamente,

Ejemplo 1: x( x 2  0) Es una proposición verdadera

Ejemplo 2: Para todo x existe algún y tal que x+y =0, simbólicamente
(x)(y )( x  y  0)
Esta proposición es verdadera, ya que dado x es arbitrario y=-x

Observación 1: la negación de la proposición ¨Todo x en B tiene la

propiedad P¨, simbólicamente (x  C , P( x))

Es ´existe algún x en B que no tiene propiedad P¨, simbólicamente

x  C , P( x)

Observación 2: la negación de la proposición ¨existe x en C tiene la

propiedad P¨, simbólicamente (x  C , P( x))
Es ¨para todo x en C, x que no tiene la propiedad P¨, simbólicamente
x  C , P( x)
Todos los hombres son mortales . Su negación es Algún hombre es inmortal
*
*
*
*
*
*
*
*
*