Las reglas derivadas de implicación

Las cuatro reglas derivadas de implicación que veremos son las siguientes:

1. Silogismo hipotético (SH)		2. Mutación de Premisas (Mut)
AB BC AC		A(BC) B(AC)
3. Identidad (Id)		4. Carga de Premisas (CPr)
A A		A BA

Fíjate en esto:

Al presentarte el Teorema de deducción utilizamos un ejemplo práctico que puede servir para fundamentar el silogismo hipotético:

	1.	pq
	2.	qr	pr
	3.	p
	4.	q	MP 1,3
	5.	r	MP 2,4
	6.	pr	TD 3-5

Practiquemos lo expuesto: rellena la siguiente deducción de acuerdo con las justificaciones de cada paso de la deducción.

1. pq     2. q(rs)       3. rs(ps)   4. SH 1,2   5. Mut 4   6. MP 5,3   7. CPr 6

Sigamos examinando las reglas derivadas de la negación.

Página siguiente