Diferència entre revisions de la pàgina «Exemple de sil·logisme i lògica de quantors»
De Wikisofia
m (bot: - (veure les + (veg. les) |
|||
| Línia 45: | Línia 45: | ||
| − | En eliminar el particularitzador en la línia 4, ha d'iniciar-se una subderivació que permeti introduir, com succeeix en la línia 9, el quantificador existencial. Així es compleix la condició '''*2''', de les regles del càlcul de la lògica de predicats ( | + | En eliminar el particularitzador en la línia 4, ha d'iniciar-se una subderivació que permeti introduir, com succeeix en la línia 9, el quantificador existencial. Així es compleix la condició '''*2''', de les regles del càlcul de la lògica de predicats (veg. les regles al final). |
El sil·logisme de la quarta figura: | El sil·logisme de la quarta figura: | ||
Revisió de 07:50, 18 set 2017
El sil·logisme de la primera figura:
- Totes les criatures brunzents són mal acollides
- Tots els mosquits són brunzents
- _____________________________________
- Tots els mosquits són mal acollits
pot resoldre's de la següent manera:
El sil·logisme de la segona figura:
- Tots els que canten com a canaris són melodiosos
- Cap cigne és melodioso
- ___________________________________________
- Cap cigne canta com un canari
pot escriure's com:
El sil·logisme de la tercera figura:
- Tots els lleons són fers
- Alguns lleons són exhibits en el circ
- _________________________________
- Alguns animals exhibits en el circ són fers
pot escriure's de la següent manera:
En eliminar el particularitzador en la línia 4, ha d'iniciar-se una subderivació que permeti introduir, com succeeix en la línia 9, el quantificador existencial. Així es compleix la condició *2, de les regles del càlcul de la lògica de predicats (veg. les regles al final).
El sil·logisme de la quarta figura:
- Cap rondalla és terrible
- Hi ha coses terribles que són seductores
- __________________________________
- Hi ha coses seductores que no són rondalles
pot escriure's de la següent manera:
En eliminar el particularitzador en la línia 4, ha d'iniciar-se una subderivació que permeti introduir, com succeeix en la línia 9, el quantificador existencial. Així es compleix la condició *2, de les regles del càlcul de la lògica de predicats (segons les regles que es mostren a continuació).