I
De Wikisofia
La versió per a impressora ja no és compatible i pot tenir errors de representació. Actualitzeu les adreces d'interès del navegador i utilitzeu la funció d'impressió per defecte del navegador.
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í: