Diferència entre revisions de la pàgina «Exemple de sil·logisme i lògica de quantors»
De Wikisofia
(Es crea la pàgina amb «{{RecursWiki |Tipus=Exemple }} {{RecursoEnlace |Enllaç= }} {{Multimèdia |Upload Type= |File= |Embed= }} {{RecursBase |Nom=Exemple de sil·logisme i lògi...».) |
m (bot: - (veure les + (veg. les) |
||
| (2 revisions intermèdies per 2 usuaris que no es mostren) | |||
| Línia 1: | Línia 1: | ||
{{RecursWiki | {{RecursWiki | ||
|Tipus=Exemple | |Tipus=Exemple | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
}} | }} | ||
{{RecursBase | {{RecursBase | ||
| Línia 18: | Línia 10: | ||
El sil·logisme de la primera figura: | El sil·logisme de la primera figura: | ||
| − | :Totes les criatures | + | :Totes les criatures brunzents són mal acollides |
| − | :Tots els mosquits són | + | :Tots els mosquits són brunzents |
:_____________________________________ | :_____________________________________ | ||
:Tots els mosquits són mal acollits | :Tots els mosquits són mal acollits | ||
| Línia 53: | 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: | ||
| 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ó 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ó).