Capítulo I - 5. Tautologias

Question 1

1. Seja v uma proposição formada a partir de outras (p, q, r, …) mediante o emprego do
   modificador (~) ou
   de conectivos (^ ou v) ou
   de condicionais (→ ou ↔).

Answer 1

Dizemos que v é uma
tautologia ou uma
proposição logicamente verdadeira

quando
V é verdadeira independentemente dos valores lógicos de p, q, r, etc

(Se todos derem V na coluna do conectivo principal da tabela verdade)

Question 2

2. ~(p ^ q) ↔ (~p v ~q) é uma tautologia
   (De Morgan)

Answer 2

Reflita sobre a tabela verdade de DeMorgan.

Question 3

Quais as duas perguntas sobre tautologia em noções de lógica?

Answer 3

1. Seja T uma proposição formada a partir de outras…
2. ~(p ^ q) ↔ (~p v ~q) é uma tautologia