Tautologa, Contradiccin y

Contingencia
Tautologa
Proposicin compuesta que es cierta para todos los valores de
verdad de sus variables






Al tener siempre un resultado verdadero se consideran leyes y
se usan para hacer demostraciones de teoremas o para inferir
resultados de proposiciones desconocidas
' p pv
p p
1 0 1
0 1 1
' p pv
Tautologas comunes
nombre Tautologa
1 Adicin
2 Simplificacin
3 Absurdo
4 Modus Ponens
5 Modus Tollens
6 Transitividad de la
bicondicional
7 Transitividad de la
condicional
8 Extensin de la
condicional
9 Dilemas constructivos

( ) q p p v
( ) p q p .
( ) ' 0 p p
( ) | | q q p p .
( ) | | ' ' p q q p .
( ) ( ) | | ( ) r p r q q p .
( ) ( ) | | ( ) r p r q q p .
( ) ( ) ( ) | |
( ) ( ) ( ) | |
( ) ( ) ( ) | | r p r q q p
s q r p q p
s q r p q p

. .
v v
( ) ( ) | | ( ) ( ) | |
( ) ( ) | | ( ) ( ) | | s q r p s r q p
s q r p s r q p
. . .
v v .
P Q, se lee, si P entonces Q
Para probar que las proposiciones anteriores
son tautologas, se debe de cambiar el
smbolo por y evaluar la
proposicin de la forma normal

Ejemplo:
( ) | | ' ' p q q p .
p q p q
0 0 1 1 1 1 1
0 1 1 0 1 0 1
1 0 0 1 0 0 1
1 1 0 0 1 0 1
( ) q p
( ) | | ' q q p .
( ) | | ' ' p q q p .
Contradiccin
Se dice que una proposicin es una
contradiccin o absurdo si al evaluarla el
resultado es falso para todos los valores de
verdad de sus variables
p p
1 0 0
0 1 0
' p p .
La contradiccin se usa en la demostracin de
teoremas, ya que si en sta se obtiene que p
es verdadera y tambin que p es verdadera y
se sabe que esto es una contradiccin, se
puede concluir que el teorema es falso
Contingencia
Proposicin compuesta cuyos valores dan
como resultado unos y ceros
Prcticamente cualquier proposicin que se
invente sera una contingencia
Inferencia Lgica
Los argumentos basados en tautologas se
consideran lgicamente correctos, la forma en
que dichos argumentos se relacionan entre s
se conocen como reglas de inferencia.
stas permiten relacionar dos o mas
proposiciones para obtener una tercera que es
vlida en una demostracin
Considere el siguiente argumento
Si es un gato, entonces come carne
Si come carne, entonces es un felino

Si es un gato, entonces es un felino

p: es un gato
q: come carne
r: es un felino

r p
r q
q p

Considere el siguiente argumento

Bajan los impuestos
Si bajan los impuestos, entonces el ingreso se eleva

El ingreso se eleva

p: Bajan los impuestos
q: El ingreso se eleva

q
q p
p

( ) | | ( )
( ) ( )
( ) | | ( ) p s q s p
p s s q
s q q s p
v v
v .
. v
' '
' '
' '
Dnde p es
, q es
, y r es
( ) | | q s p v '
( ) s q . '
( ) p s v '
Reglas de inferencia
q p
p
v
p
q p

.
q
p
q p

v
'
r p
r q
q p

q p
q
p
.
q
q p
p

'
'
p
q
q p

10. Adicin
11. Simplificacin
12. Silogismo
disyuntivo
13. Silogismo
hipottico
14. Conjuncin
15. Modus ponen
15. Modus tollens
Equivalencia lgica
Se dice que dos proposiciones son
lgicamente equivalentes si coinciden sus
resultados para los mismos valores de verdad
y se indica
q p
q p

p q p q
0 0 1 1 1 1 1 1 1
0 1 1 0 1 0 1 0 0
1 0 0 1 0 1 0 0 0
1 1 0 0 1 1 1 1 1
( ) q p ( ) p q ( ) ' ' p q
( ) ( ) p q q p . q p
Equivalentes Equivalentes
( ) ( ) ' ' p q q p ( ) ( ) ( ) q p p q q p .
Proposiciones equivalentes
p p ' '
( ) ( ) p q q p v v
( ) ( ) p q q p . .
( ) ( ) p q q p
( ) | | ( ) | |
( ) | | ( ) | | r q p r q p
r q p r q p
. . . .
v v v v
( ) | | ( ) ( ) | |
( ) | | ( ) ( ) | | r p q p r q p
r p q p r q p
. v . v .
v . v . v
( )
( ) p p p
p p p
.
v
( ) ( )
( ) ( ) ' ' '
' ' '
q p q p
q p q p
v .
. v
( ) ( ) ' ' p q q p
17 Doble negacin
18 Leyes conmutativas
19 Leyes asociativas
20 Leyes distributivas
21 Leyes de idempotencia
22 Leyes de Morgan
23 Contrapositiva
( ) ( ) ( ) | |
( ) ( ) ( ) | |
( ) ( ) ( ) | | ' '
' '
q p q p q p
p q q p q p
p q q p q p
. v .
v . v
.
Proposiciones equivalentes
0 ' . p p
( ) q q q p
p p
p p
p
p
p p
v .
.
v
.
v
v
1
1 '
0 0
1 1
0
( ) ( ) ' q p q p
( ) ( )
( ) ( )
( ) ( )
( ) ( )
( ) ( ) | | ( ) | |
( ) ( ) | | ( ) | | r q p r p q p
r q p r q r p
q p q p
q p q p
q p q p
q p q p
. .
. .
.
v
.
v
' '
'
' '
'
24 Variantes de la condicional
25 Variantes de la bicondicional
26 Contradiccin
27 Leyes de identidad
28 Disyuncin exclusiva
Ejercicio
Demostrar que las proposiciones siguientes son
lgicamente equivalentes, usando tautologas y/o
equivalencias
( ) ( ) | | ( ) | | r q p r q r p . .
Ejercicio
( ) | | ( ) ( ) ( ) ( ) | | r q q p r p p p r q p . v . v . v . . v
Demostrar que las proposiciones siguientes son
lgicamente equivalentes, usando tautologas y/o
equivalencias
Argumentos vlidos y no vlidos
Considere lo siguiente:
Las aves son ovparas. El gorrin es ave. Por lo tanto; el gorrin
es ovparo
p
1
: Las aves son ovparas
p
2
:El gorrin es ave
q: El gorrin es ovparo

q p p .
2 1
Como p
1
=1, p
2
=1, q=1, entonces se trata de
un argumento vlido ya que:
1
1 1
1 1 1
1 1 1

.
.
Caso en el que el argumento es vlido y tanto las
hiptesis y la conclusin son verdaderas

Considere lo siguiente:
Las mujeres son jvenes. Miss universo es mujer. Por lo tanto;
Miss universo es joven
p
1
: Las mujeres son jvenes
p
2
:Miss universo es mujer
q: Miss universo es joven

q p p .
2 1
Tenemos que p
1
=0, p
2
=1, q=1,
Y se trata de un argumento vlido ya que:
1
1 0
1 1 0
1 1 0

.
.
Caso en el que el argumento es vlido cuando
todas o algunas de las hiptesis son falsas, y la
conclusin es verdadera

Considere lo siguiente:
Los alemanes son de raza negra. George Bush es de raza negra.
Por lo tanto George Bush es alemn
p
1
: Los alemanes son de raza negra
p
2
:George Bush es de raza negra
q: George Bush es aleman

q p p .
2 1
Aunque p
1
=0, p
2
=0, q=0, se trata de
un argumento vlido ya que:
1
0 0
0 0 0
0 0 0

.
.
Caso en el que el argumento es vlido y las
hiptesis y la conclusin son falsas

Considere lo siguiente:
c
2
=a
2
+b
2
. c
2
=a
2
+b
2
se aplica en tringulos rectngulos. Por lo
tanto, es la segunda ley de Newton
p
1
: c
2
=a
2
+b
2

p
2
: c
2
=a
2
+b
2
se aplica en tringulos rectngulos
q: es la segunda ley de Newton

q p p .
2 1
Podemos observar que p
1
=1, p
2
=1, q=0
Y se trata de un se trata de un argumento
NO vlido ya que:
0
0 1
0 1 1
0 1 1

.
.
Un argumento no se considera vlido si est
integrado por hiptesis verdaderas y conclusin
falsa

La forma ms fcil de determinar si un
argumento es vlido es por la tabla de verdad
Si se trata de una tautologa el argumento es
vlido, en caso contrario el argumento es
invlido