1) O documento discute conceitos lógicos como conjunção, disjunção, condicional e bicondicional e como eles podem ser verdadeiros ou falsos de acordo com os valores de verdade de suas partes constituintes.
2) A conjunção só é verdadeira quando ambas as partes forem verdadeiras, enquanto a disjunção inclusiva é falsa quando ambas as partes forem falsas.
3) O condicional só é falso quando a condição for verdadeira mas o resultado for falso, e a bicondicional é verdadeira quando
2. Conjunção
Uma conjunção p q p∧ q
só será verdadeira,
V V V
quando ambas as
partes que a V F F
compõe também
forem verdadeiras. F V F
E falsa nos demais F F F
casos.
3. Disjunção
p q pvq
Uma disjunção
V V V
inclusiva será
falsa quando as V F V
duas partes que a
F V V
compõe forem
ambas falsas! F F F
4. Disjunção
p q pwq
E uma disjunção
V V F
exclusiva será
falsa quando as V F V
duas partes que a
compõe forem F V V
ambas iguais! F F F
5. Condicional
p q p→q
Só será falsa esta
V V V
estrutura quando
houver a condição V F F
suficiente, mas o
resultado F V V
necessário não se F F V
confirmar.
6. Bicondicional
p q p↔q
Será verdadeira
V V V
quando
antecedente e V F F
consequente forem
ambos F V F
verdadeiros, ou F F V
quando forem
ambos falsos.
7. Tautologia Se Pedro estuda,
então será aprovado.
Enunciados
tautológicos são aqueles (p → q)
enunciados que sempre Pedro não foi
resultam verdadeiros, aprovado.
portanto, o argumento (~q)
é um argumento Então, Pedro não
válido. estudou.
(~p)
[(p → q).~q] →~p
8. Contradição Aterra é um
planeta.
p
Os enunciados cuja A Terra não é um
característica são planeta.
aqueles enunciados (~p)
que sempre resultam
em falsidade. p ~p p v ~p
V F F
F V F