Métodos de prueba

Cómo se efectúa una deducción o demostración en

este sistema?
1. Se plantean unas fbfs denominadas premisas, que
pueden ser:

Las estipuladas para el caso particular (representan la
información concreta a mano).

Aquellas que han sido obtenidas en demostraciones
previas, conocidas como teoremas.

Los axiomas del sistema.
2. Se aplican reglas de validez adecuadas.
3. Se obtiene una fbf denominada conclusión

Carlos M. Sierra D. 1
 Métodos de prueba

Cómo se representa una deducción o demostración en
este sistema?
Existen varias maneras de representar el proceso de deducción de
una fbf C (la conclusión) a partir de un conjunto de n fbfs (las
premisas), P1, P2,…,Pn.
 P1, P2,…,Pn  C
El signo  indica que la fbf C se deduce de las fbfs P1,
P2,…,Pn

 P1
P2
:
Pn
----------
∴C
Carlos M. Sierra D. 2
 Métodos de prueba
Cuáles son los métodos de demostración más conocidos ?

Método Directo.
El método trata de derivar la fbf Q (la conclusión) con base en la fbf P (la
premisa); lo que se representa como: P  Q.

Una variante del método directo (conocido también como el teorema de la

deducción), se emplea en la demostración de fbfs condicionales:

 Método de la hipótesis auxiliar.

Si se requiere:  P → Q, entonces suponga a P, y luego derive a Q; es decir

lleve a cabo: P  Q. Si esta última demostración se lleva a feliz término, y
puesto que la fbf P no fue dada como premisa (es un supuesto), lo único
que puede asegurarse es que P es suficiente para Q; así que, se ha obtenido la
fbf P → Q.

Carlos M. Sierra D. 3
 Métodos de prueba

Métodos indirectos.

Asumen este nombre porque se plantea la prueba P  Q, pero no es ella la

que se lleva cabo; observe diferentes variaciones:
 Método del contra-recíproco
Si se requiere efectuar la prueba P  Q, lleve a cabo la demostración
¬ Q  ¬ P .

Al igual que sucedió con el método directo, también puede plantearse una
variación para la demostración de fbfs condicionales, así:

Método de la hipótesis auxiliar.

Si se requiere:  P → Q, cambie la demostración por:  ¬ Q → ¬ P.

Además, a este última cámbiela por: ¬ Q  ¬ P.

Si es exitosa la prueba ¬ Q  ¬ P y dado que ¬ Q es un supuesto, entonces

sólo se ha demostrado la suficiencia de ¬ Q sobre ¬ P, es decir ¬ Q → ¬ P.

Carlos M. Sierra D. 4
 Métodos de prueba

Métodos indirectos (continuación).

 Reducción al Absurdo.

Si se requiere: P Q entonces realice: P, ¬ Q S; donde S es una

fbf “contradictoria ” cualquiera, que se obtiene como teorema parcial.

La versión para fbfs condicionales sería:

Si se requiere:  P → Q, entonces realice ¬(P → Q) S; o lo que

es equivalente: P ∧ ¬ Q S

Otros métodos
 Disyunción de Casos (Silogismo Disyuntivo):

Si se requiere: P ∨ Q  R ∨ T, entonces realice:

Etapa 1: a)  P → R; o b)  P → T

Etapa 2: si se efectuó a), haga:  Q → R; o si fue b), haga  Q → T

Carlos M. Sierra D. 5
 Métodos de prueba

Otros métodos
 Silogismo Disyuntivo (continuación):

Casos particulares

 A) Si se requiere: P ∨ Q  R, entonces realice:

Etapa 1:  P → R;

Etapa 2:  Q → R;

 B) Si se requiere: P ∨ ¬P  R, entonces realice:

Etapa 1:  P → R;

Etapa 2:  ¬ P → R;

Carlos M. Sierra D. 6