Diferència entre revisions de la pàgina «I»
De Wikisofia
m (Text de reemplaçament - "cusis" a "coses") |
|||
| (Hi ha 2 revisions intermèdies del mateix usuari que no es mostren) | |||
| Línia 4: | Línia 4: | ||
Existeix alguna cosa S i P | Existeix alguna cosa S i P | ||
| − | + | Existeix alguna cosa S que alhora és P | |
| − | + | Hi ha coses S que són P | |
| − | + | Alguna cosa és S i P alhora | |
Existeixen coses S que són P | Existeixen coses S que són P | ||
| − | + | Alguna cosa S és també P | |
| − | + | Hi ha almenys un S que és P | |
| − | + | Els enunciats de tipus I es representen de la següent manera en els [[diagrames de Venn|diagrames de Venn]]: | |
| − | [[File:3682- | + | [[File:3682-9cat.png|400px|center]] |
On la zona d'intersecció SP no està buida, perquè s'afirma precisament que existeixen coses que són, alhora, S i P. | On la zona d'intersecció SP no està buida, perquè s'afirma precisament que existeixen coses que són, alhora, S i P. | ||
| + | |||
| + | |||
| + | |||
| + | En [[lògica]] de predicats es simboliza així: | ||
| + | |||
| + | <center><math>\exists x(Fx\wedge Gx)</math></center> | ||
{{Etiqueta | {{Etiqueta | ||
Revisió de 22:09, 28 set 2018
Símbol tradicional que s'aplica a les proposicions categòriques particulars afirmatives, del tipus «Algun S és P», que poden formular-se de diverses maneres:
Existeix alguna cosa S i P
Existeix alguna cosa S que alhora és P
Hi ha coses S que són P
Alguna cosa és S i P alhora
Existeixen coses S que són P
Alguna cosa S és també P
Hi ha almenys un S que és P
Els enunciats de tipus I es representen de la següent manera en els diagrames de Venn:
On la zona d'intersecció SP no està buida, perquè s'afirma precisament que existeixen coses que són, alhora, S i P.
En lògica de predicats es simboliza així: