Mtodos de Deduccin

Natural
Lic. Csar Orihuela Sols

Dado el siguiente esquema:

P1 : p q
P 2 : r
P 3 : q
P 4 : r q

Cmo demostramos que se

obtiene como conclusin (p v q)?

PROPSITO DE LA CLASE
Utiliza las reglas de inferencia para
demostrar si la
conclusin de un
argumento se sigue lgicamente de las
premisas.

PRUEBA DIRECTA (PD)

Consiste en proponer una
conclusin anticipada, luego
aplicando
el
mtodo
de
derivaciones debe llegarse a dicha
conclusin, de ser as queda
demostrada que la conclusin
propuesta se deriva de las
premisas dadas.

PRUEBA DIRECTA (PD)

Ejemplo: Demostrar q v r
P1: pq
P2: ~r
P3: qr
P4: p v q
P5: pr SH (1,3)
P6: ~p MTT(2,5)
P7: q
SD(4,6)
q v r LA(7)

Ejercicios 1:
Demostrar p
P1: p q
P2: r
P3: q
P4: (q r) p
P5: p q

*Demostrar r
P1: (p q)
P2: p
P3: q r

Adems demostrar del material de trabajo,

las actividades de la pag. 82 y 83 los
ejercicios 1.4 , 1.18 y 1.28

PRUEBA CONDICIONAL (PC)

Esto se aplica cuando la
conclusin que se propone es
implicativa (pq), consiste en
agregarle el antecedente de la
conclusin al conjunto de
premisas como premisa adicional
(PA), luego se aplica derivaciones
y se une nuevamente en
condicional la PA y la ltima
premisa obtenida.

PRUEBA CONDICIONAL (PC)

Ejemplo: Demostrar ~rq
P1: p v q
P2: pr
P3: ~ r PA
P4: ~ p MTT (2,3)
P5: q
SD (1,4)
~ r q PC (3,5)

Ejercicios 2:
Demostrar: (p q)
P1: p (p q)
P2: p r
P3: r______
Adems demostrar del material de trabajo,
las actividades de la pag. 82 y 83, los
ejercicios 1.19, 1.20 y 1.24

PRUEBA DE REDUCCIN AL
ABSURDO (PRA)
Consiste en agregar al razonamiento
la conclusin propuesta como
premisa adicional (PA), pero negada;
luego aplicamos derivaciones; al
resultado le aplicamos prueba
condicional (PC) y finalmente la
prueba de reduccin al absurdo
(PRA) debiendo obtenerse la
conclusin propuesta inicialmente.

PRUEBA DE REDUCCIN AL
ABSURDO (PRA)
Ejemplo: Demostrar ~p
P1: p q
P2: ~p
P3: p v ~ q
P4: p PA
P5: q MPP (1,4)
P6: p SD (3,5)
P7: (~p p) Adj (2,6)
P8: p (~p p) PC (4,7)
~ p PRA(8)

Ejercicios 3:
Demostrar: s
P1: ( q p)
P2: (q r)
P3: p
P4: ( r s)
Adems del material de trabajo, las
actividades de la pag. 82 y 83, los ejercicios
1.9, 1.11 y 1.26

GRACIAS POR
SU ATENCIN!