Lógica e Matemática Computacional - Aula 03

14
ANHANGUERA – 2016.2 LÓGICA E MATEMÁTICA COMPUTACIONAL AULA 03 – TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS Prof. Thomás da Costa [email protected]

Transcript of Lógica e Matemática Computacional - Aula 03

Page 1: Lógica e Matemática Computacional - Aula 03

ANHANGUERA – 2016.2

LÓGICA E MATEMÁTICA COMPUTACIONALAULA 03 – TAUTOLOGIAS,

CONTRADIÇÕES E CONTINGÊNCIASProf. Thomás da Costa

[email protected]

Page 2: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

Page 3: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

• A Tautologia ocorre, quando a última coluna da tabela verdade de uma proposição composta contém somente valores verdadeiros (letra V).

• Podemos dizer também que Tautologia é quando uma proposição composta P(p, q, r ...) é verdadeira, independente dos valores lógicos das proposições simples.

• Tautologias são denominadas proposições tautológicas ou proposições logicamente verdadeiras.

• As proposições p → p e p ↔ p são tautológicas.

TautologiaO que é:

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

Vamos fazer alguns exercícios !!!

Page 4: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

Exercícios Resolva a tabela verdade da expressão abaixo:

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

p ˅ ¬ (p ˄ q)p q p ˅ ¬ (p ˄ q)V V V V F V V VV F V V V V F FF V F V V F F VF F F V V F F F

É uma TAUTOLOGIA.

Page 5: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

Exercícios Resolva a tabela verdade da expressão abaixo:

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

p ˄ q → (p ↔ q)p q p ˄ q → (p ↔ q)V V V V V V V V VV F V F F V V F FF V F F V V F F VF F F F F V F V F

É uma TAUTOLOGIA.

Page 6: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

Exercícios Resolva a tabela verdade da expressão abaixo:

p ˅ (q ˄ ¬ q) ↔ pp q p ˅ (q ˄ ¬ q) ↔ pV V V V V F F V V VV F V V F F V F V VF V F F V F F V V FF F F F F F V F V F

É uma TAUTOLOGIA.

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

Page 7: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

ContradiçõesO que é:

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

• A Contradição ocorre, quando a última coluna da tabela verdade de uma proposição composta contém somente valores falsos (letra F).

• Podemos dizer também que Contradição é quando uma proposição composta P(p, q, r ...) é falsa, independente dos valores lógicos das proposições simples.

• Contradições são denominadas proposições contraválidas ou proposições logicamente falsas.

Vamos fazer alguns exercícios !!!

Page 8: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

Exercícios Resolva a tabela verdade da expressão abaixo:

p ↔ ¬ p

É uma CONTRADIÇÃO.

p p ↔ ¬ pV V F F VF F F V F

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

Page 9: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

Exercícios Resolva a tabela verdade da expressão abaixo:

(p ˄ q) ˄ ¬ (p ˅ q)p q (p ˄ q) ˄ ¬ (p ˅ q)V V V V V F F V V VV F V F F F F V V FF V F F V F F F V VF F F F F F V F F F

É uma CONTRADIÇÃO.

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

Page 10: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

Exercícios Resolva a tabela verdade da expressão abaixo:

¬ p ˄ (p ˄ ¬ q)p q ¬ p ˄ (p ˄ ¬ q)V V F V F V F F VV F F V F V V V FF V V F F F F F VF F V F F F F V F

É uma CONTRADIÇÃO.

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

Page 11: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

• A Contingência ocorre, quando a última coluna da tabela verdade de uma proposição composta contém valores verdadeiros ou falsos (letra V ou F).

• Podemos dizer também que Contingência é quando uma proposição composta não é tautologia nem contradição.

• Contingência são denominadas proposições contingentes ou proposições logicamente indeterminadas.

ContingênciasO que é:

Vamos fazer alguns exercícios !!!

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

Page 12: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

p q (p ˄ q) ↔ (p ˅ q)V V V V V V V V VV F V F F F V V FF V F F V F F V VF F F F F V F F F

Exercícios Resolva a tabela verdade da expressão abaixo:

(p ˄ q) ↔ (p ˅ q)

É uma CONTINGÊNCIA.

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

Page 13: Lógica e Matemática Computacional - Aula 03

LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa

Resumo

• Tautologia é quando o resultado da proposição composta é sempre verdadeiro.

• Contradição é quando o resultado da proposição composta é sempre falso.• Contingência é quando o resultado da proposição composta é falso ou

verdadeiro.

TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS

Page 14: Lógica e Matemática Computacional - Aula 03

Obrigado !!!

ANHANGUERA – 2016.2