O Quadrado Lógico das Proposições
O quadrado lógico das proposições categóricas mostra as relações entre os quatro tipos de proposições (A, E, I, O). As proposições universais (A e E) são contrárias - não podem ser ambas verdadeiras, mas podem ser ambas falsas.
As proposições diagonais são contraditórias - têm valores de verdade opostos. Se A é verdadeira, O é falsa; se E é verdadeira, I é falsa, e vice-versa. As proposições I e O são subcontrárias - podem ser ambas verdadeiras, mas não podem ser ambas falsas.
Nas relações de subalternidade (entre A e I, ou entre E e O), se a universal for verdadeira, a particular correspondente também é verdadeira. Porém, se a universal for falsa, a particular é indeterminada.
Para negar uma proposição universal, usa-se a particular oposta. Por exemplo, para negar "Todos os animais têm pelo" (A), dizemos "Alguns animais não têm pelo" (O).
Dica prática! Para memorizar o quadrado lógico, lembra-te que A (afirmativa universal) e O (negativa particular) são contraditórias, assim como E (negativa universal) e I (afirmativa particular).