Una discusión lógica es sano del si y solamente si el
la discusión es
Un procedimiento (e. deducción natural de la prueba) de un sistema lógico es el sonido si prueba solamente las fórmulas válidas (también tautologías ). En la notación, un sistema lógico es sonido si implica del .
Discusiones sanas
Suponer que tenemos una discusión sana (en este caso un Syllogism ): ell todos los hombres es mortal. Sócrates del
es un hombre. El
por lo tanto, Sócrates es mortal.
La discusión es válida (porque la conclusión es verdad basada en las premisas, es decir, que la conclusión sigue las premisas) y puesto que las premisas son de hecho verdades, la discusión es sonido.
La discusión siguiente es válida pero no sana:
l que todos los animales pueden volar. Los cerdos del
son animales. El
por lo tanto, los cerdos puede volar.
Puesto que la primera premisa es realmente falsa, la discusión, aunque válida, no es sana.
| Random links: | Zula | Amphissus | Tony Kornheiser | Terrier de Sealyham | Coloquio de Poissy |