TAREA 6

La tarea está dividida en dos secciones. La sección obligatoria está conformada por la
pregunta 1, el puntaje máximo es de 6 puntos. La sección opcional está conformada por la
pregunta 2.1 y 2.2, desarrolla solo una de ellas, el puntaje máximo es de 4 puntos.

SECCIÓN OBLIGATORIA

1. Demuestra la validez de la siguiente inferencia por el método de DERIVACIÓN POR

PRUEBA CONDICIONAL. Para ello presenta las proposiciones simples, la estructura
formal, simboliza y deriva.

La observación y la experimentación limitan drásticamente la gama de creencias admisibles,

si y solo si estudiamos la ciencia como un proceso acumulativo de descubrimiento de
hechos. Asimismo, la observación limita drásticamente la gama de creencias admisibles, a
menos que los historiadores de la ciencia integren teorías antiguas al conocimiento actual y
las hagan conversar con sucesores inmediatos. Por otro lado, la experimentación limita
drásticamente la gama de creencias admisibles, pero es falso que estudiemos la ciencia
como un proceso acumulativo de descubrimiento de hechos y no haya búsqueda de una
nueva imagen de la ciencia. Por lo tanto, los historiadores de la ciencia no hacen conversar
teorías antiguas con sucesores inmediatos, lo que implica que la experimentación limite
drásticamente la gama de creencias admisibles si y solo si haya búsqueda de una nueva
imagen de la ciencia.

SOLUCION:

Proposiciones Simple:

p : La observacionlimita drasticamente la gama de creencias admisibles

q : La experimentacion limita drasticamente la gama creenciasadmisibles .
r : Estudiamos la ciencia comoun proceso acumulativo de descubriiento de hechos .
s : Los historiadores de laciencia integren teorías antiguas al conocimiento actual
t : Los historiadores hacen conversar teorias antiguas con sucesoresinmediatos .
u : Hayabúsqueda de una nueva imagen de laciencia

1
ESTRUCTURA:

( ( ( p y q ) si y solo sir ) y ( p si entonces ( s y t ) ) y ( q y no ( r y no u ) ) ) entonces no t

implica que ( q si y solo siu )

SIMBOLIZACION:

( ( ( p ∧ q ) ↔r ) ∧ ( p → ( s ∧ t ) ) ∧ ( q ∧∼ ( r ∧∼u ) ) ) → ∼ t=( q ↔u )

ESTRUCTURA FORMAL DE PROPOSICIONES:

P 1: ( p ∧q ) ↔ r=( ( p ∧q ) → r) ∧(r → ( p ∧q ))
P 2: p →(s ∧t)
P 3: q ∧∼ ( r ∧∼ u )=q ∧ ( ∼ r ∨u ) =q ∧(r → u)
P 4 :∼t /¿ ∴ ( q ↔ u ) =(q → u)∧ ( u→ q )=( q →u)

DERIVACION POR PRUEBA CONDICIONAL:

P 1: ( p ∧q ) ↔ r=( ( p ∧q ) → r) ∧(r → ( p ∧q ))
P 2: p →(s ∧t)
P 3: q ∧∼ ( r ∧∼ u )=q ∧ ( ∼ r ∨u ) =q ∧(r → u)
P 4 :∼t /¿ ∴ ( q ↔ u ) =(q → u)∧ ( u→ q )=( q →u)
P 5: q( Prueba condicional )
P 6 : p ( PREMISA ADICIONAL)
P 7 :s ∧ t ( 2 ;5 ) MPP
P 8 : ( p ∧ q ) →r ( 1 ) SIMPLIFICACION
P 9 : ( r → u ) ( 3 ) SIMPLIFICACION
P 10: ( ( p ∧ q ) →u ) (7 ; 8)SILOGISMO HIPOTETICO
P 11 :∼ t ∨ p ( 4 ) ADICION
P 12:t ( 6 ) SIMPLIFICACION
P 13: (t → p ) ( 10 ) EQUIVALENCIA LOGICA
P 14 : p (11 ; 12 ) MPP
P 15: q( PREMISA ADICIONAL)
P 16 : ( p ∧ q ) ( 13; 14 ) CONJUNCION ¿
P 17 :u ( 9; 15 ) MPP
P 18: ( q →u )( 1 ; 17 )

En la premisa “P18” se llega a obtener la conclusión. Por lo tanto, por el método de

Derivación con la prueba condicional se demuestra la validez.

2
SECCIÓN OPCIONAL

2. Demuestre la validez de UNA de las siguientes inferencias mediante DERIVACIÓN.

Puedes usar cualquier modalidad: prueba directa, prueba condicional o reducción al
absurdo.

2.1 P1) (p ↔ q) → r
P2) ~ q ∧ ( s → ~ s )
P3) (t V r ) → s // ∴ p

2.2 P1) s  ( qr )

P2) p V (~ t ∧ ~ p)
P3) ( ~ q ∧ ~ s ) ~ ( t → p )
P4) ~ r // ∴  s ↔ ~ q

SOLUCION:

P 1¿ s →(q → r )
P 2¿ p ∨(∼ t ∧∼ p)
P 3 ¿ ( ∼ q ∧∼ s ) → (t → p)
P 4 ¿ r /¿ ∴ s ↔ q=( s → ∼q) ∧(∼ s → q)
P 5 ¿ s( prueba condicional)
P 6 ¿ q → r ( 1 ; 5 ) MPP
P 7 ¿∼ q ( 4 ; 6 ) MTT
P 8 ¿ ( s → ∼ q ) ( 5 ; 7 ) Condicional
P 9 ¿ ( ∼ s → q ) premisa adicional
P 10 ¿ ( s → ∼ q ) ∧ ( ∼s →q ) (8 ; 9)Conjuncion
P 11 ¿ s ↔ q VALIDEZ DEMOSTRADA