1

PROPOSICION
Ejemplos:
"Hoy es Lunes"
"Estoy en la clase de Fsica"
a:
b:
Enunciado al que se lo puede calificar o
bien como Verdadero o bien como Falso.

NOTACIN:
Primeras letras del abecedario en minscula
2
NO PROPOSICIONES
Ojala deje de llover!
Hiciste el deber de Matemticas?
Sintate y qudate quieto.
VALOR DE VERDAD
Verdadero: 1
Falso: 0
Cualidad de una proposicin de ser verdadera o
de ser falsa.
3
OPERADORES (CONECTORES) LGICOS
NEGACIN
-No
Smbolo :
b
a
Ejemplos
: "Hoy no es Lunes "
: No Estoy en la clase de Fsica"
-No es verdad que
-No es cierto que




a
a
0
0 1
1
Tabla de verdad
Lenguaje
Relacionado
4
CONJUNCIN
y
Smbolo:
.
Ejemplo
a : "Tengo un lpiz"

b
: "Tengo un cuaderno"
b a.
: "Tengo un lpiz y un cuaderno "
b a.
a
b
0
1
1
0 0
0 0
0 0 1
1 1
Tabla de verdad
OPERADORES LGICOS
Lenguaje
Relacionado
pero
5
DISYUNCION INCLUSIVA
O
Smbolo:
Ejemplo
a : "Tengo un lpiz"

b
: "Tengo un cuaderno "
: "Tengo un lpiz o un cuaderno "
0
1
1
0 0
0 1
0 1 1
1 1
Tabla de verdad
v
v a b
a
b
b av
Lenguaje
Relacionado
OPERADORES LGICOS
6
DISYUNCION EXCLUSIVA
0o...
Smbolo:
Ejemplo
a : Daniel est en Espaa "

b
: Daniel est en Italia"
: Daniel est en Espaa o en Italia"
0
0
1
0 0
0 1
0 1 1
1 1
Tabla de verdad
a
b
o bieno bien..
v
( ) ( ) b a b a . . v
b av
b av
Lenguaje
Relacionado
OPERADORES LGICOS
a
b
b
a
Significa:
7
ENUNCIACIN HIPOTTICA (CONDICIONAL)
Smbolo:
Ejemplo
a : Apruebas el preuniversitario"

b
: Te regalar un carro"
: Si apruebas el preuniversitario entonces te regalar un carro"
0
1
1
0 1
0 1
0 0 1
1 1
Tabla de verdad
a
b
b a
b a
b a
Lenguaje
Relacionado
OPERADORES LGICOS
Si..entonces..
a
b
8
Antecedente
Hiptesis
Premisa
Consecuente
Tesis
Conclusin.
b a
OTROS LENGUAJES RELACIONADOS:
a implica b
Basta a para b
a slo si b
b si a
b cada vez que a
a solamente si b
b siempre que a
b puesto que a
b porque a
b con la condicin de que a
OPERADORES LGICOS
ENUNCIACIN HIPOTTICA (CONDICIONAL)
9
b a
a es condicin suficiente para b
b es condicin necesaria para a
Ejemplo:
"Si un nmero es divisible para 4 entonces es divisible para 2"
OPERADORES LGICOS
verdadera
1. La divisibilidad para 4 es condicin suficiente para la divisibilidad para 2"
2. La divisibilidad para 2 es condicin necesaria para la divisibilidad para 4"
Es suficiente que un nmero sea divisible para 4 para que se divisible para 2"
Es necesario que un nmero sea divisible para 2 para que se divisible para 4"
Condicin Necesaria y
Condicin Suficiente
ENUNCIACIN HIPOTTICA (CONDICIONAL)
10
b a
VARIACIONES
LA RECPROCA:
b a
LA INVERSA: a b
LA CONTRARRECPROCA: b a
Ejemplo:
Si me pagan entonces ir a trabajar
Ir a trabajar si me pagan
OPERADORES LGICOS
LA RECPROCA:
Si voy a trabajar entonces me pagan
LA INVERSA:
Si no me pagan entonces no ir a trabajar
LA CONTRARRECPROCA:
Si no voy a trabajar entonces no me pagan
ENUNCIACIN HIPOTTICA (CONDICIONAL)
11
b a
VARIACIONES
OPERADORES LGICOS
Importante
"Si un nmero es divisible para 4 entonces es divisible para 2"
RECPROCA:
"Si un nmero es divisible para 2 entonces es divisible para 4"
Falso
Contraejemplo:
6 es divisible para 2, pero no es divisible para 4"
ENUNCIACIN HIPOTTICA (CONDICIONAL)
Condicional:
12
BICONDICIONAL
b a
Smbolo:
( ) ( ) a b b a .
0
1
1
0 1
0 0
0 0 1
1 1
TABLA
DE
VERDAD
a b b a
Lenguaje Relacionado
Ejemplo:
OPERADORES LGICOS
Significa:
a : Un tringulo es equiltero

b
: Un tringulo tiene sus ngulo de igual medida
: Un tringulo es equiltero si y slo si tiene sus ngulos de
igual medida
a b
..si y slo si..
a
b
13
PROPOSICIONES SIMPLES Y COMPUESTAS
Simples:
No poseen operador lgico
Compuestas:
Formadas por varias proposiciones
y operadores lgicos
( ) ( ) ( )
a b c a b v .
Ejemplo:
El valor de verdad de
una proposicin
compuesta depende del
valor de verdad de sus
proposiciones simples.
Suponga que:
1 a
0 b
1 c
( ) ( ) ( ) ( )
1 0 1 1 0 v .
( ) ( )
0
0
1
1 0 1 1 0
| |
| |
|
v .
|
|
\ .
\ .
( ) ( )
0
0
1
0
1 0 1 1 0
| |
|
| |
|
v .
|
|
\ .
|
\ .
( ) ( )
0
0
1
0
1
1 0 1 1 0
| |
|
| |
|
v .
|
|
\ .
|
\ .
14
PROPOSICIONES SIMPLES Y COMPUESTAS
( ) ( ) ( )
a b c d a c d ( ( . . . .

Ejemplo:
Determine el valor de verdad de las proposiciones
simples sabiendo que el valor de verdad de la
proposicin compuesta es VERDADERO.
1
1
1
1 1 1
1 a
0 c
1 d
1 0
0 0
1
1
0 b
15


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
0
0
0
0
0
0
1
1
1
0
1
0
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
0
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
0
1
1
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
1
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
1
0
0
0
0
0
1
1
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
1
0
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
1
0
1
0
1
0
1
1
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
0
1
0
1
0
1
1
1
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
0
0
0
1
1
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
1
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
1
0
1
0
1
0
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
0
1
0
1
0
1
1
0
0
0
1
1
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
0
1
0
1
0
1
1
0
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
0
1
0
1
0
1
1
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
0
1
0
1
1
1
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
0
1
1
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
1
0
1
0
1
1
1
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
1
0
1
0
1
1
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
1
0
1
0
0
1
0
1
1
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
0
1
0
1
1
0
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
0
1
0
1
1
0
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
0
1
0
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
0
1
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
1
0
1
0
1
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
1
0
1
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
1
0
1
1
1
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
1
0
1
1 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0
1
0 1 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1
1
0 0 1 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1 0 0 1 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1 0 0 1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1 0 0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1 0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0
1


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0
1
0
1
0
1
0
1
0


1
1
1
1
0
0
0
0
1
1
0
0
1
1
0
0


1
1
1
1
0
0
0
0
1
1
0
0


1
1
1
1
0
0
0
0


1
1
1
1
FORMAS PROPOSICIONALES
Expresin constituida por smbolos que
representan o conectores lgicos o variables
proposicionales.
Ejemplo
( ) ( ) ( )
p q r p q v . .


nm. var. prop.
Total = 2
p q r p q v r
( )
p q r v .
p q .
( ) ( ) ( )
p q r p q v . .
16
1
Ejemplo
( ) ( )
p q p q v
1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1
1
1 1 0 1 1 1
1
1
0
1 0 1 1 1
1
1
0
1
0
0 1 1 1
1
1
0
1
0
0
0
1 1 1
1
1
0
1
0
0
0
1
0


1 1
1
1
0
1
0
0
0
1
0
1
1
1
1
0
1
0
1
0
0
0
1
0
1 1
1
0
1
0
1
1
0
0
0
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
p q
q p
p q p v
( ) ( ) p q p q v
Si se obtienen slo proposiciones verdaderas para todos los valores
de verdad de las variables proposicionales
FORMAS PROPOSICIONALES
TAUTOLOGA
Si se obtienen slo proposiciones falsas
Si se obtienen proposiciones verdaderas y
otras falsas.
CONTRADICCION:
CONTINGENCIA:
17
IMPLICACIONES LGICAS
Sean A y B dos formas proposicionales, se
dice que A implica lgicamente a B si y slo
si es una tautologa.
A B
En este caso se escribe: B A
Ejemplo
( ) ( )
p q p q v
18
IMPLICACIONES LGICAS
Algunas implicaciones lgicas tpicas son:
| | q p p v
Adicin
| | p q p .
Simplificacin
( ) | | q q p p .
Modus Ponens
( ) | | p q q p .
Modus Tollens
( ) | | q p q p . v
Silogismo Disyuntivo
( ) ( ) | | | | r p r q q p .
Silogismo Hipottico
19
1
1
1
0
1
0
0
0
1
0
1
1
1
1
0
1
0
1
0
0
0
1
0
1 1
1
0
1
0
1
1
0
0
0
1
0
1 1
1
1
0
1
0
0
0
1
0


1 1
1
0
1
0
1
1
0
1
0
0
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1
1 1
1
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
0
1
1
1
1
1
1
0
0
1
0
1
0
1
0
1
1
0
0
1
1
1
0
1
1
1
1
1
1
1
1
1
0
1
0
0
0
1 1
EQUIVALENCIAS LGICAS
Sean A y B dos formas proposicionales. Se dice
que A es lgicamente equivalente a B si y slo si
es una tautologa.
B A
En este caso se escribe:
Tambin:
q p q p v
Ejemplo
B A
B A

1 1 1 1 1 1 1 1 1 0 1 1 1 0 1 1 1 1 0 1 1 1
1
1 1 0 1 1 1
1
1
0
1 0 1 1 1
1
1
0
1
0
0 1 1
p q
q p
p q p v
( ) ( ) q p q p v
:

20
ALGEBRA DE PROPOSICIONES
CONJUNCIN DISYUNCIN
( ) 1 1 v p
( ) 0 0 . p
( ) ( ) r q p r q p v v v v ( ) ( ) r q p r q p . . . .
( ) ( ) p q q p . .
( ) ( ) p q q p v v
( ) p p p .
( ) p p p v
( ) p p .1
( ) p p v 0
Conmutativa

Asociativa
Idempotencia
Identidad
Absorcin
21
ALGEBRA DE PROPOSICIONES
Otras:
( ) ( ) ( ) r p q p r q p v . v . v
( ) ( ) ( ) r p q p r q p . v . v .
Leyes distributivas
( ) p p Doble negacin
( )
p q p q . v
Leyes de De Morgan
( ) ( ) p q q p
( ) ( ) q p q p v
Contrarrecproca
Implicacin
( )
p q p q v .
22
ALGEBRA DE PROPOSICIONES
Otras:
Ley del tercer excluido ( )
1 p p v
( )
0 p p .
Ley de la contradiccin
( ) ( )
p q r p q r ( ( .

Ley de exportacin
( ) ( )
0 p q p q ( .
Reduccin al absurdo
23
Demostrar:
E
J
E
M
P
L
O
( ) p p q p ( . v

Solucin:
( ) ( ) 0 p p q ( v . v

( ) p p q ( . v

( ) ( ) ( ) p q q p q
(
v . . v

Identidad
Contradiccin
( ) ( ) ( ) ( ) p q p q p q
(
v . v . v

Distributivas
( ) ( ) p q p q ( v . v

Idempotencia
( ) p q q ( v .

Distributivas
( ) 0 p ( v

Contradiccin
| |
p
Identidad
24
Sea la proposicin:
Si t eres inteligente y no resuelves el problema
entonces desconoces la materia
Siendo:
m: T eres inteligente
n: T resuelves el problema
p: T desconoces la materia
( ) m n p v
a)
Indique a que opcin corresponde la TRADUCCIN:
b)
( ) p m n .
c)
( ) m n p v v
d)
( ) m p n .
e)
( ) m n p v
Solucin:
Primero: Traduccin: ( ) m n p .
Transformamos empleando el lgebra de
proposiciones:
Segundo:
( ) m n p . v
m n p v v
( ) m n p v v
( ) m n p v
E
J
E
M
P
L
O
Implicacin
Ley de De Morgan
Implicacin
Asociativa de la disyuncin
25
Sea la proposicin:
Hoy es jueves y tengo que dar un examen, pero si
hay huelga, entonces no voy a la Universidad
Siendo: a: Hoy es jueves
b: Tengo que dar un examen
c: Hay huelga
( ) a b c d . .
a)
Indique a que opcin corresponde la TRADUCCIN:
b)
( ) ( ) d c a b . .
c)
( ) ( ) a b c d . v
d)
( ) ( ) a b c d . .
e) ( ) ( ) c d a b . .
Solucin:
Primero: Traduccin: ( ) ( ) a b c d . .
Transformamos : Segundo:
( ) ( ) ( )
a b d c . .
( ) ( ) a b d c . .
( ) ( ) d c a b . .
E
J
E
M
P
L
O
Contrarrecproca
Doble Negacin
Conmutativa
d: Me voy a la Universidad
26
RAZONAMIENTOS
| |

CONCLUSIN
PRINCIPAL OPERADOR
HIPOTESIS O PREMISAS
n
C H H H H . . .
3 2 1
VALIDEZ
Un razonamiento es VLIDO cuando la forma
proposicional que se obtiene de la proposicin
compuesta que lo define, es tautolgica.
27
RAZONAMIENTOS
E
J
E
M
P
L
O
1
"Si aumenta la produccin, aumentan los ingresos; si
aumentan los ingresos, se recupera la inversin. Por lo
tanto, si aumenta la produccin ,se recupera la inversin"
SOLUCIN:
a: Aumenta la produccin
b: Aumentan los ingresos
c: Se recupera la inversin
( ) ( ) | | ( ) c a c b b a .
( ) ( ) | | ( ) r p r q q p .
Traduccin:
Forma proposicional:
28
E
J
E
M
P
L
O
1
( ) ( ) | | ( ) r p r q q p .
PRIMER MTODO: Aplicando leyes de Equivalencias
( ) ( ) ( )
p q q r p r ( v . v v v

Implicacin
( ) ( ) ( )
p q q r p r ( v v v v v

De Morgan
( ) ( )
p q q r p r . v . v v De Morgan
( ) ( )
p q p q r r ( ( . v v . v

Asociativa
( ) ( ) ( ) ( )
p p q p q r r r ( ( v . v v v . v

Del Tercero excluido
( ) ( )
1 1 q p q r ( ( . v v v .

Distributiva
RAZONAMIENTOS
( ) ( )
q p q r v v v
Identidad para la conjuncin
( ) ( )
q q p r v v v
Asociativa
( )
1 p r v v
Del Tercero excluido
1
Absorcin para la disyuncin
29
E
J
E
M
P
L
O
1
0
1
0
( ) ( ) | | ( ) r p r q q p .
1 1
1
0
1
0
1 p
0 r
1
1
VALIDO
(0)
(0)
(1)
Segundo Mtodo: Reduccin al Absurdo
RAZONAMIENTOS
30
RAZONAMIENTOS
E
J
E
M
P
L
O
2
"Si soy estudioso , aprobar el curso ; si soy fiestero, no
aprobar el curso. Por lo tanto, no puedo ser estudioso
y fiestero al mismo tiempo"
Solucin:
a: Soy estudioso
b: Aprobar el curso
c: Soy fiestero
( ) ( ) | | ( ) c a b c b a . .
( ) ( ) | | ( ) r p q r q p . .
1
Traduccin:
Forma proposicional:
31
RAZONAMIENTOS
E
J
E
M
P
L
O
2

PRIMER MTODO: Aplicando leyes de Equivalencias
( ) ( ) ( )
p q r q p r ( v . v v .

Implicacin
( ) ( )
p q r q p r ( v v v v v

De Morgan
( ) ( ) ( ) ( ) ( )
p q r q p r
(
. v . v v

De Morgan
( ) ( )
p q r q p r ( . v . v v

Doble negacin
1
( ) ( )
p q p r q r ( ( . v v . v

Asociativa
( ) ( ) ( ) ( )
p p q p r r q r ( ( v . v v v . v

Distributiva
( ) ( )
1 1 q p q r ( ( . v v . v

Del tercero excluido
( ) ( )
q p q r v v v Identidad para la conjuncin
( ) ( )
q q p r v v v
Asociativa
( )
1 p r v v
Del tercero excluido
1 Absorcin para la disyuncin
32
RAZONAMIENTOS
( )
1
( ) ( ) | | ( ) r p q r q p . .
0 1
0
1
1 0 1 1
1
1 1
1 p
1 r
VALIDO
(0)
(0)
(1)
33
Segundo Mtodo: Reduccin al Absurdo
E
J
E
M
P
L
O
2

La Lgica es difcil o no les gusta a muchos
estudiantes. Si la Matemtica es fcil, entonces la
Lgica no es difcil. Por lo tanto, la Lgica es difcil.
Solucin:
a: La lgica es difcil
b: La lgica les gusta a muchos estudiantes
c: La Matemtica es fcil.
( ) ( ) | | a a c b a . v
E
J
E
M
P
L
O
3

( ) ( ) | | p p r q p . v
0
1
1
0
1
1
1
1
0 p
0 q
NO VALIDO
0
0
1 r
0 r v
0
RAZONAMIENTOS
34