Usuario:Juansbotero/Ejercicio 9
Apariencia
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