Barrapunto

Eh oye, entonces si p es igual a r, r debe ser igual a p ¿No? Por lo tanto; ¿Todos los mortales son Sócrates? Y aun mas, porque si r es igual a p siendo q igual a p y por consiguiente p igual a q; ¿Todos los mortales son hombres? Oh vaya... Pero espera un segundo, porque si añadimos a x que sería telefónica, entonces x estafa a q que seria r siendo a su vez p, con lo cual; ¿A quien estafa telefónica? ¿A todos los hombres? ¿A todos los mortales? ¿A Sócrates? Vaya, que diría Platón de todo esto :P

PD: De todas formas ya lo expliqué [barrapunto.com] ;)

Para empezar, lo que se usaba en ese texto es lógica de primer orden, no lógica proposicional que es lo que intentas usar (con errores de formalización) en tu demostración.

Para continuar, ese texto pretendía ser una broma.

Chiquillo, búscate el sentido del humor, que se te habrá olvidado en el bolsillo de los vaqueros. Jo, no me he podido resistir... :D