Mostra la font per a Exemple de sil·logisme i lògica de quantors

{{RecursWiki
|Tipus=Exemple
}}
{{RecursoEnlace
|Enllaç=
}}
{{Multimèdia
|Upload Type=
|File=
|Embed=
}}
{{RecursBase
|Nom=Exemple de sil·logisme i lògica de cuantores
|Idioma=Espanyol
}}
{{Exemple}}

El sil·logisme de la primera figura:

:Totes les criatures zumbantes són mal acollides
:Tots els mosquits són zumbantes
:_____________________________________
:Tots els mosquits són mal acollits


pot resoldre's de la següent manera:

[[File:3350-11.png|400px]]

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:

[[File:3350-12.png|400px]]

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:

[[File:3350-13.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 (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:

[[File:3350-14.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]]
{{Propietat
|Propi=No
|Allow=No
|Accept=No
}}
{{InfoWiki}}