2. lógica

contraditoriedade.

contrariedade.

sub-contrariedade.

subalternidade.

"A verdade é libertadora. Logo, é difícil de aceitar."

"A verdade não é difícil de aceitar. Logo, a verdade não é libertadora."

"A verdade não é libertadora. Logo, a verdade é difícil de aceitar."

"Se a verdade é difícil de aceitar, então é libertadora. Logo, a verdade não é difícil de aceitar."

"Algumas baleias têm inteligência emocional."

"Nenhuma baleia tem inteligência emocional."

"Todas as baleias têm inteligência emocional."

"Algumas baleias não têm inteligência emocional."

verdadeira, porque a primeira é universal e segunda é particular e são ambas afirmativas.

falsa, porque a subalterna é "Algumas pessoas não são humanas".

verdadeira, porque ambas são afirmativas.

falsa, porque a primeira é universal afirmativa e, por isso, não pode ser subalterna.

P e Q são ambas verdadeiras.

P, Q ou ambas são verdadeiras.

P e Q são ambas falsas.

P é verdadeira e Q é falsa.

P→Q

P v Q

P ᴧ Q

P↔Q

é uma expressão que permite constituir proposições compostas.

é um símbolo que traduz logicamente uma proposição simples.

é uma expressão que exprime o valor de verdade da proposição.

é um símbolo que a representa.

¬B

B

¬A

A

da formalização.

da forma lógica.

de uma tabela de verdade.

da forma canónica.

Se penso, então duvido.

Se penso, então não duvido.

Se não duvido, então não penso.

Se não penso, então não duvido.