Está en la página 1de 6

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