Diferència entre revisions de la pàgina «O»
De Wikisofia
(Es crea la pàgina amb «{{ConcepteWiki}} Símbol tradicional que s'aplica a les proposicions categòriques particulars negatives, del tipus «Algun S no és P»,...».) |
|||
| (Hi ha 3 revisions intermèdies del mateix usuari que no es mostren) | |||
| Línia 5: | Línia 5: | ||
Alguna cosa que és S no és P | Alguna cosa que és S no és P | ||
| − | + | Alguna cosa que és S no és P | |
| − | + | Hi ha coses S que no són P | |
| − | + | Existeix almenys un S que no és P | |
| − | + | Existeix alguna cosa que és alhora S i no P | |
| − | + | Els enunciats de tipus O poden representar-se en els [[diagrames de Venn|diagrames de Venn]] de la següent manera: | |
| − | [[File:3682- | + | [[File:3682-11cat.png|400px|center]] |
On la zona <math>S\overline{P}</math> no està buida, perquè l'enunciat afirma precisament que existeix almenys un element d'aquesta classe de coses que són S i no P alhora. | On la zona <math>S\overline{P}</math> no està buida, perquè l'enunciat afirma precisament que existeix almenys un element d'aquesta classe de coses que són S i no P alhora. | ||
| + | |||
| + | |||
| + | En lògica de predicats es simboliza com: | ||
| + | |||
| + | <center><math>\exists x(Fx\wedge \neg Gx)</math></center> | ||
{{Etiqueta | {{Etiqueta | ||
Revisió de 22:11, 28 set 2018
Símbol tradicional que s'aplica a les proposicions categòriques particulars negatives, del tipus «Algun S no és P», que poden formular-se de diverses maneres:
Alguna cosa que és S no és P
Alguna cosa que és S no és P
Hi ha coses S que no són P
Existeix almenys un S que no és P
Existeix alguna cosa que és alhora S i no P
Els enunciats de tipus O poden representar-se en els diagrames de Venn de la següent manera:
On la zona [math]\displaystyle{ S\overline{P} }[/math] no està buida, perquè l'enunciat afirma precisament que existeix almenys un element d'aquesta classe de coses que són S i no P alhora.
En lògica de predicats es simboliza com: