Usuario:Juansbotero/Ejercicio 9

De Wikilibros, la colección de libros de texto de contenido libre.

Las premisas son p => q, q => r, r => p . Demuestre que p ↔ q. Use solo el silogismo hipotetico y la ley de introduccion a la equivalencia.


1. q => r premisa

2. r => p premisa

3. q => p silogismo hipotetico

4. p => q premisa

5. p ↔ q introduccion a la equivalencia