Prof Regente Maria Aparecida Progetec Jnior Disciplina Raciocnio

  • Slides: 16
Download presentation
Prof. ª Regente: Maria Aparecida. Progetec: Júnior. Disciplina: Raciocínio Lógico. Ano: 7º Turma: A

Prof. ª Regente: Maria Aparecida. Progetec: Júnior. Disciplina: Raciocínio Lógico. Ano: 7º Turma: A Estudantes: Números: "Educai as crianças e não será preciso punir os homens“. (Pitágoras)

Tabela-Verdade Tautologia, Contradição e Contingência

Tabela-Verdade Tautologia, Contradição e Contingência

Tabela-verdade A TABELA-VERDADE é um recurso utilizado para determinar todos os possíveis valores lógicos

Tabela-verdade A TABELA-VERDADE é um recurso utilizado para determinar todos os possíveis valores lógicos de uma proposição composta, a partir de todas as possíveis atribuições de valores lógicos dados às proposições simples que a compõem. O resultado depende do conectivo que gera a proposição composta. Conectivos diferentes geram tabelas-verdade diferentes.

Tabela-verdade Seja p e q 2 proposições. Os valores lógicos possíveis para cada um

Tabela-verdade Seja p e q 2 proposições. Os valores lógicos possíveis para cada um deles é: p 1 V 2 F q 1 V 2 F

Tabela-verdade Seja P uma proposição composta: P(p, q). A tabela-verdade para P é: 1

Tabela-verdade Seja P uma proposição composta: P(p, q). A tabela-verdade para P é: 1 2 3 4 p V V F F q V F Arranjos Binários com repetição de 2 elementos: Ve. F

Tabela-verdade V V p q F V F q F P(p, q) p q

Tabela-verdade V V p q F V F q F P(p, q) p q V V F F V F

Tautologia é uma proposição cujo valor lógico é sempre verdadeiro. Contradição é uma proposição

Tautologia é uma proposição cujo valor lógico é sempre verdadeiro. Contradição é uma proposição cujo valor lógico é sempre falso. Contingência é toda proposição composta cuja a última coluna da sua tabela-verdade figuram as letras V e F cada uma pelo menos uma vez.

Exercícios Construa a tabela-verdade da CONJUNÇÃO (E) p q p^q

Exercícios Construa a tabela-verdade da CONJUNÇÃO (E) p q p^q

Tabela-verdade da Disjunção: (OU) p q pvq

Tabela-verdade da Disjunção: (OU) p q pvq

Tabela-Verdade CONDICIONAL: (Se então) p q

Tabela-Verdade CONDICIONAL: (Se então) p q

Tabela-Verdade BI-CONDICIONAL (Se e somente se) p q

Tabela-Verdade BI-CONDICIONAL (Se e somente se) p q

Tabela-verdade P(p, q) = ~(p ^ ~q) p q ~q p ^ ~q ~(p

Tabela-verdade P(p, q) = ~(p ^ ~q) p q ~q p ^ ~q ~(p ^ ~q)

A proposição “p v ~(p ^ q)” é tautologia, contradição ou contigência? p R:

A proposição “p v ~(p ^ q)” é tautologia, contradição ou contigência? p R: q p^q ~(p ^ q) p v ~(p ^ q)

A proposição “p v q p” é tautologia, contradição ou contigência? p R: q

A proposição “p v q p” é tautologia, contradição ou contigência? p R: q pvq p

A proposição “(p ^ q) ^ ~(p v q)” é tautologia, contradição ou contigência?

A proposição “(p ^ q) ^ ~(p v q)” é tautologia, contradição ou contigência? p q R: p^q pvq ~(p v q) (p ^ q) ^ ~(p v q)

A proposição “p ∨ q ↔ q ∨ p” é tautologia, contradição ou contigência?

A proposição “p ∨ q ↔ q ∨ p” é tautologia, contradição ou contigência? p R: q pvq qvp p v q↔q v p