Académique Documents
Professionnel Documents
Culture Documents
primera premisa : d h
segunda premisa :d
conclusion :h
d: Voy al parque
h: Voy al cine
1. d h
2. d
h
1. d h
2. d
h
Doble Negacin
La doble negacin es el teorema que afirma que "Si un enunciado es
verdadero, entonces no es el caso de que la declaracin no es cierta."
(p )
p
Adjuncin
p
q
pq
Ejemplo1:
Ejemplo 2:
( P Q ) ( Q ( R S ) ) ( S T ) ( R T ) P
Premisas:
Premisa 1: ( P Q)
Premisa 2: (Q ( R S ) )
Premisa 3: (S T )
Premisa 4: ( R T ) P
Conclusin: P
( P Q ) ( Q ( R S ) ) ( S T ) ( R T ) P
p q r s t ( p Q )( r s ) ( q ( r s ) ) ( p Q ) ( q( ) Q ) -( q -t( r (s) ) R (s
s ( rt) ( sp)
r
Tt ) ( p Q ) ( q ( r - s ) ) ( (ps
p
QT ) ( q
R ( rT
s) ) ( s T )
V V V V V V V V V V V F F F F F V
V V V V F V V V V F F F V F F F V
V V V F V V V V V V V F F F F F V
V V V F F V V V V V V F V F F F V
V V F V V V V V V V V V F F F F V
V V F V F V V V V F F V V V F F V
V V F F V V F F F V F V F F F F V
V V F F F V F F F V F V V V F F V
V F V V V F V V F V F F F F F F V
V F V V F F V V F F F F V F F F V
V F V F V F V V F V F F F F F F V
V F V F F F V V F V F F V F F F V
V F F V V F V V F V F V F F F F V
V F F V F F V V F F F V V V F F V
V F F F V F F V F V F V F F F F V
V F F F F F F V F V F V V V F F V
F V V V V V V V V V V F F F F V V
F V V V F V V V V F F F V F F V V
F V V F V V V V V V V F F F F V V
F V V F F V V V V V V F V F F V V
F V F V V V V V V V V V F F F V V
F V F V F V V V V F F V V V F V V
F V F F V V F F F V F V F F F V V
F V F F F V F F F V F V V V F V V
F F V V V V V V V V V F F F F V V
F F V V F V V V V F F F V F F V V
F F V F V V V V V V V F F F F V V
F F V F F V V V V V V F V F F V V
F F F V V V V V V V V V F F F V V
F F F V F V V V V F F V V V F V V
F F F F V V F V V V V V F F F V V
F F F F F V F V V V V V V V V V V
Truth Table
p q r s t (pq)(q(rVs))(st)(rt)p
T T T T T T
T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T
expression is a tautology
TAREA 3: PROBLEMAS DE APLICACIN II
a. [( p q ) ( r s ) ( p r ) ] (q s)
b. {[ p ( q r ) ] ( q p ) ( s r ) p} s
c. [( p q ) ( r s ) ( p s ) ] ( s q )
Proposiciones simples.
Lenguaje Natural.
[( p q ) ( r s ) ( p s ) ] ( s q )
[( V V ) ( F F ) ( V V ) ] ( V V )
[( V ) ( V ) ( V ) ] ( V )
(V ) (V )
(V )
Premisas.
(pq)
P(1):
P(2): ( r s)
P(3): (p s)
P(4): (s q )
Formula:
[ ( p q ) ( r s ) ( p s ) ] ( s q )
P(1): (pq)
P(2): ( r s)
P(3): (p s)
P(4): (s q )
P(5):
p q r s -s ( p q )r s ( p q )
p s [( ps
(r q [s( )p
) q ) ( rs ( p q )s) ]( r s ) ( p s ) ] ( s
V v V V F V F F V F V V
V V V F V V V V F F F V
V V F V F V V V V V V V
V V F F V V V V F F F V
V F V V F F F F V F V V
V F V F V F V F F F F V
V F F V F F V F V F V V
V F F F V F V F F F F V
F V V V F V F F F F F V
F V V F V V V V F F F V
F V F V F V V V F F F V
F V F F V V V V F F F V
F F V V F V F F F F F V
F F V F V V V V F F F V
F F F V F V V V F F F V
F F F F V V V V F F F V
Truth Table
p q r s [(pq)(rs)(ps)](sq)
T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T
expression is a tautology
TAREA 4: RAZONAMIENTO DEDUCTIVO E INDUCTIVO
e. Se sabe que en Bogot casi todos los fanticos del ftbol, son hinchas de
Millonarios, Santaf o Nacional, pero no todos. Cierto da me encuentro con una
persona en Bogot, amante del ftbol y prejuzgo, que probablemente, con base en
los conocimientos anteriores, esta persona es hincha de Nacional.