O LÓG.

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:

Quelcom 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
Hi ha quelcom que és alhora S i no P

Els enunciats de tipus O poden representar-se en els diagrames de Venn de la manera següent:

 

On la zona S que no és P 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.
 
Per exemple, si diem "Hi ha almenys un home que no és savi", si representem la classe dels Homes per S i la classe dels savis per P, ens trobem que el diagrama anterior representa aquesta afirmació. La marca "X" dins del cercle "S" indica que aquesta classe no és buida. Ara bé, el membre (o membres) de la classe S (de la classe "Homes" en aquest exemple), no pertany (no pertanyen) a la classe "P" que és la classe que representa els savis.
 
 

Licencia de Creative Commons
Aquesta obra està sota una llicència de Creative Commons.