REALIZAR UNA ORACIÓN COMPLETA DE LAS SIGUIENTES PREMISAS
P=
Es fiesta
Q=
Los comercios están autorizado a abrir
R=
Las ventas son abúndate
S=
Llueve
Oración:
Cuando
es fiesta y los comercios están autorizados a
abrir, entonces las ventas son abundantes si no llueve.
Simbólico:
P^Q → (┐S→R)
REALIZAR LA SIGUIENTE TABLA DE
VERDAD
|
A
|
B
|
┐A
|
(┐A) vB
|
A→B
|
|
0
|
0
|
V
|
V
|
V
|
|
0
|
1
|
V
|
V
|
V
|
|
1
|
0
|
F
|
F
|
F
|
|
1
|
1
|
F
|
V
|
V
|
|
A
|
B
|
A^B
|
A v B
|
┐A
|
A→B
|
|
0
|
0
|
F
|
F
|
V
|
V
|
|
0
|
1
|
F
|
V
|
V
|
V
|
|
1
|
0
|
F
|
V
|
F
|
F
|
|
1
|
1
|
F
|
V
|
F
|
V
|
REGLA DE
INFERENCIA
MODUS PONENDO PONENS
CONSIDEREMOS
ALGUNOS DE LOS EJEMPLO DE USO DE
ESTAS REGLAN EN LA DEDUCCIÓN DE
CONCLUSIONES A PARTIR DE PREMISAS.
P= Si él está en el partido de futbol,
entonces él está en el estadio.
Q= Él está en el partido de futbol
Conclusión= Él está en el estadio
P→Q
Q
------------------------------------------------------------------------------------------------------------------------------
P= si no hace frio, entonces el lago no se
helara.
Q= No hace frio
Conclusión= El lago no se helara
┐P→┐Q
┐
P
┐Q
----------------------------------------------------------------------------------------------------------
P = Si usted está en
Madrid,entonces su reloj señala la misma
hora que en Barcelona
Q =Usted está en Madrid.
Conclusión:El
reloj señala la misma hora que en Barcelona
P→Q
Q
----------------------------------------------------------------------------------------------------------
P=Si no nos despedimos ahora, entonces no cumpliremos nuestro plan,
Q= No nos despedimos ahora
Conclusión= No
cumplimos nuestro plan
┐P→┐Q
┐
P
┐Q
_____________________________________________________________________________
P=Son las
cinco.
Q= Si son las cinco, entonces la oficina
está cerrada
Conclusión=La oficina está cerrada
P
Q
----------------------------------------------------------------------------------------------------------
PONER
UNA «C» JUNTO A CADA EJEMPLO EN EL QUE LA CONCLUSIÓN ES CORRECTA SEGÚN EL MODUS PONENDO PONENS. PONER
UNA «I» JUNTO A CADA CONCLUSIÓN INCORRECTA.
1. Premisas: S y S →T;
conclusión: T (“I” Incorrecta)
2. Premisas: T → V y
T; conclusión: V(“C” Correcta)
3. Premisas: P → Q y
Q; conclusión: P (“I” Incorrecta)
4. Premisas: S y R →
S; conclusión: R(“C” Correcta
5. Premisas:
R y R → S; conclusión: S (“I” Incorrecta)
MODUS TOLLENDO TOLLENS
Premisa l. P=
Si tiene luz propia, entonces el astro es una estrella.
Premisa 2. Q=El
astro no es una estrella.
Conclusión.Por
tanto no tiene luz propia.
Se
simbolizará el ejemplo de la manera siguiente:
Sea
P
= Tiene luz propia
Q=El
astro es una estrella
P→ Q
┐P
MODUS TOLLENDO TOLLENS: Permite
pasar de dos premisas:(a) una proposición condicional, y (b) una proposición
que niega elconsecuente, a una conclusión que niega el antecedente.
Si
es por la mañana, entonces el sol estará en el Este.
Se niega el consecuente:
El
sol no está en el Este.
Entonces se puede negar el
antecedente:
Por
tanto, no es por la mañana.
DEMUESTRE POR MEDIO DE UNA TABLA DE CERTEZA, CUÁL DE LOS
EJEMPLOS DE INFERENCIA SIGUIENTE ES VÁLIDO.
1:-Si
Isabel se retrasa, entonces cristina es puntual
Si
Isabel no se retrasa, entonces cristina no es puntual
Por
lo tanto, o Isabel se retrasa o cristina es puntual.
|
P
|
Q
|
┐P
|
┐Q
|
P͢͢͢͢͢→Q
|
┐P→┐Q
|
PvQ
|
|
V
|
V
|
F
|
F
|
V
|
V
|
V
|
|
V
|
F
|
F
|
V
|
F
|
V
|
V
|
|
F
|
V
|
V
|
F
|
V
|
F
|
V
|
|
F
|
F
|
V
|
V
|
V
|
V
|
F
|
_____________________________________________________________________________
2:-Si tengo 18 años, entonces
soy mayor que Pablo.
Si no tengo 18 años,
entonces soy más joven que Jorge.
Por tanto, o tengo 18
años o soy más joven que Jorge.
|
P
|
Q
|
R
|
┐P
|
P→Q
|
┐P→R
|
PvQ
|
|
V
|
V
|
V
|
F
|
V
|
V
|
V
|
|
V
|
V
|
F
|
F
|
V
|
V
|
V
|
|
V
|
F
|
V
|
F
|
F
|
V
|
V
|
|
V
|
F
|
F
|
F
|
F
|
V
|
V
|
|
F
|
V
|
V
|
V
|
V
|
V
|
V
|
|
F
|
V
|
F
|
V
|
V
|
F
|
V
|
|
F
|
F
|
V
|
V
|
V
|
V
|
F
|
|
F
|
F
|
F
|
V
|
V
|
F
|
F
|
--------------------------------------------------------------------------------------------------------------------
