Quando é que a Conjunção
(p ∧ q )
é verdadeira?

Quando é que a Disjunção
Inclusiva

(p ∨ q)
é verdadeira?

Quando é que a Disjunção
Exclusiva
(p _∨_ q)
é verdadeira?

Quando é que a Condição
(p → q)
é verdadeira?

Quando é que a Bicondição
(p ⟷ q)
é verdadeira?

Quando é que um Argumento
Lógico Dedutivo é válido?

Na Lógica Formal, o que
significa a expressão
raciocínio dedutivo?

Quais são as principais
equivalências notáveis da
condição?

Qual é a principal equivalência
notável da bicondição?

O que é Tautologia?

O que é Contradição?

O que é Contingência?

Onde se aplicam as Leis de De
Morgan?

Como se estabelece a negação
da condição?

Como se estabelece a negação
da bicondição?

Como se estabelece a negação
de "Todo S é P?

Como se estabelece a negação
de "Nenhum S é P"?

Como se estabelece a negação
de "Algum S é P?

Como se estabelece a negação
de "Algum S não é P"?