O documento descreve as formas canônicas de quatro tipos de proposições: A, E, I e O. A forma canônica de proposições do Tipo A é "Todos os portugueses são europeus". A forma canônica de proposições do Tipo E é "Nenhuma obra de arte é agradável". A forma canônica de proposições do Tipo I é "Alguns animais são carnívoros". E a forma canônica de proposições do Tipo O é "Alguns filósofos gregos não são geniais".

1. A forma canónica das proposições
Tipo E
 Nem uma única obra de
arte é agradável.
 Não há obras de arte
que sejam agradáveis.
 Tudo aquilo que é uma
obra de arte não é
agradável.
 Não existem obras de
arte agradáveis.
Transformação na forma
canónica
Nenhuma obra de arte é
agradável.
Tipo A
 Quaisquer portugueses
são europeus.
 Os portugueses são
europeus.
 Tudo aquilo que é um
português é também um
europeu.
 Só os europeus são
portugueses.
Transformação na forma
canónica:
Todos os portugueses são
europeus.

2. A forma canónica das proposições
Tipo O
 Existem filósofos
gregos que não são
geniais.
 Nem todos os filósofos
gregos são geniais.
 Pelo menos um
filósofo grego não é
genial.
 Há pessoas que são
filósofos gregos, mas
que não são geniais.
Transformação na forma
canónica
Alguns filósofos gregos não
são geniais.
Tipo I
 Há animais que são
carnívoros.
 Certos animais são
carnívoros.
 Pelo menos um animal
é carnívoro.
 Existem animais
carnívoros.
Transformação na forma
canónica:
Alguns animais são
carnívoros.

3. Escola Secundária Francisco de Holanda
A forma canónica das proposições
Tipo A
 Quaisquer portugueses são europeus.
 Os portugueses são europeus.
 Tudo aquilo que é um português é
também um europeu.
 Só os europeus são portugueses.
Transformação na forma canónica:
Todos os portugueses são europeus.
Tipo E
 Nem uma única obra de arte é
agradável.
 Não há obras de arte que sejam
agradáveis.
 Tudo aquilo que é uma obra de arte
não é agradável.
 Não existem obras de arte agradáveis.
Transformação na forma canónica:
Nenhuma obra de arte é agradável.
Tipo I
 Há animais que são carnívoros.
 Certos animais são carnívoros.
 Pelo menos um animal é carnívoro.
 Existem animais carnívoros.
Transformação na forma canónica:
Alguns animais são carnívoros.
Tipo O
 Existem filósofos gregos que não são
geniais.
 Nem todos os filósofos gregos são
geniais.
 Pelo menos um filósofo grego não é
genial.
 Há pessoas que são filósofos gregos,
mas que não são geniais.
Transformação na forma canónica:
Alguns filósofos gregos não são geniais.