Diferència entre revisions de la pàgina «Exemple de sil·logisme i lògica de quantors»
De Wikisofia
m (Text de reemplaçament - "zumbantes" a "brunzents") |
|||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 68: | Línia 60: | ||
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ó).[[File:2315F.png|400px]] | 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ó).[[File:2315F.png|400px]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
{{InfoWiki}} | {{InfoWiki}} | ||
Revisió del 13:50, 5 set 2015
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 (veure 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ó).