Anda di halaman 1dari 4

Razonamientos

Un razonamiento esta dadao por una cadena de proposiciones P1 ,P 2 ... Pn (premisas) y C


(conclusion). Es usual notarla de manera vertical para representar un razonamiento. Son validos o
no validos. Un razonamiento es valido si P1P2...P n C es una tautologia (resulta ser
verdadero). Si no, se dice que el razoamiento tampoco lo es.
1. Ejemplo:
p q
p Donde p y q son dos premisas y q es al mismo tiempo la conclusin.
q

La validz del razonamiento resulta ser verdadero, puesto que (( p q) p) q es una
tautologa. Se llama Modus Ponendo Ponens.
p q p q ( p q) p (( p q) p) q
V V V V V
V F F F V
F V V F V
F F V F V

2. Ejemplo:
p r
p
r
No e vlido, porque el razonamiento (( p r ) p )r no es una tautologa.
p r p r p r ( p r ) p ( p r ) p r
V V F F V F V
V F F V F F V
F V V F V V F
F F V V V V V

REGLAS BASICAS DE INFERENCIA


1. Modus Ponendo Ponens
p q
p
q

2. Modus Tollendo Tollens
p q
p
q
3. Modus Tollendo Ponens
pq pq
p y q
q
p
4. Simplificacion
pq pq
y
p q

5. Doble negacion
( p)
p
6. Ley de adjuncion
p q
q y p
pq q p
7. Silogismo Hipotetico
p q
qr
p
r
8. Simplificacion disyuntiva
p p
p
9. Regla de Morgan
( pq ) ( pq)
y
p q p q
10. Ley conmutativa
pq pq
y
p q pq

Ejemplo
Pedro estudiara matematicas o ingenieria
Pedro no estudiara matematicas
Si Pedro estudia ingenieria, aorar las matematicas
- Pedro aorar las matematicas
Determinar primero las proposiciones
p: Pedro estudiara matematicas
q: Pedro estudiara ingenieria
r: Pedro aorara las matematicas

P1 : pq ; P 2 : p
Se plantea entonces de manera simbolica: . El razonamiento quedaria de la
P3 : q r ; C: r
siguiente manera: (( pq)( p)(q r)) r .
1. Modus Tollendo Ponens
P1 : pq
P 2 : p
C1 : q
2. Modus Ponendo Ponens
C1 : q
P3 : q r
C: r
Ejemplo
Si aplico las reglas de inferencia y tengo cuidado, entonces gano el examen o me siento
bien. Si me siento bien o no tengo cuidado, entonces no aplico las reglas de inferencia.
Aplico las reglas de inferencia. Por tanto gano el examen.
Determinar primero las proposiciones
p: Aplico las leyes de inferencia.
q: tengo cuidado
r: Gano el examen
s: Me siento bien
P1 :( pq)(rs) ; P2 :(sq ) p
Se plantea de manera simbolica: Se ve de la siguiente
P3 : p ; C: r
manera el razonamiento (( pq) (rs))((sq) p) p r .
1. Tollendo Tollens para P 2 y P 3
P 2 :( sq) p
P3 : p
(sq)p ; pq y pq Dada la regla, se concluye C 1 : (sq) p.
Seguidamente, se procede con la C1 . a realizar la regla de Morgan
C1 : (sq)C2 : s(q )C 2 :sq
Despus se debe realizar las conclusiones C 3 y C 4 .
Por medio de la regla 4 ambas quedarian:
C 3 : s
C4: q
Usando la regla 6 tenemos que
C4 : q
P3 : p
C 5 : pq
y por medio de PP llegamos a:
C 5 : pq
P 1 :( pq)(rs)
C 6 :rs
Por TP, llegamos a que
C 6 :rs
C 3 : s ya que (rs)s r
C:r

2. Ejemplo:
Si Juan tiene 17 aos, entonces Juan es de la misma edad de maria. Si carlos no tiene la
misma edad que Juan, entonces Carlos tiene edad diferente de la de Maria. Juan tiene 17
aos y Carlos tiene la misma edad que Mara. Por lo tanto, Carlos tiene la misma edad que
Juan y Juan tiene la misma edad que Maria.
Tenemos las proposiciones:
p: Juan tiene 17 aos.
q: Juan es de la misma edad de Mara.
r: Carlos tiene la misma edad que Juan.
s: Carlos tiene la misma edad que Maria.
El argumento queda de la siguiente forma
P1 : p q
P 2 :r s
P 3 : ps
P4 : p
P5 : q
P6 : s
P7 : r
C : rq
El primer paso es usar la simplificacion en P 3
C1 : p
Luego se aplica la regla de Ponendo Ponens a P 1 y C 1 .
( p q) p
C2: q
De igual manera, al aplicar la simplificacion a P 3 se tiene
C3 : s
C 4 se obtiene de la aplicacion de la regla de aplicar Tollendo Tollen a P2 y C 3 .
r s
s
C 4 : r

Finalmente, C se obtiene de la aplicacion de la regla de adjuncion a las C 4 y C 2 .

3. Ejemplo
Si los mejores equipos de futbol del mundo estan en Colombia, y America es el campeon de
Colombia, entonces America es el mejor equipo de futbol del mundo.

Identifiquemos las proposiciones


p: Los mejores equipos del mundo estan en Colombia
q : America es el campeon de Colombia
r : America es el mejor equipo del mundo
Sistematicamente tenemos ( pq) r
Por simplificacion tenemos que pq p
Ahora p r se puede solucionar mediante PP, por lo que tenemos que
pr
p
r