Schließen
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"?
