I

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í:

[math]\displaystyle{ \exists x(Fx\wedge Gx) }[/math]