SlideShare une entreprise Scribd logo
1  sur  14
ANHANGUERA – 2016.2
LÓGICA E MATEMÁTICA COMPUTACIONAL
AULA 03 – TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
Prof. Thomás da Costa
thomascosta@aedu.com
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
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.
Tautologia
O que é:
TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
Vamos fazer alguns exercícios !!!
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 V
V F V V V V F F
F V F V V F F V
F F F V V F F F
É uma TAUTOLOGIA.
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 V
V F V F F V V F F
F V F F V V F F V
F F F F F V F V F
É uma TAUTOLOGIA.
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Exercícios
Resolva a tabela verdade da expressão abaixo:
p ˅ (q ˄ ¬ q) ↔ p
p q p ˅ (q ˄ ¬ q) ↔ p
V V V V V F F V V V
V F V V F F V F V V
F V F F V F F V V F
F F F F F F V F V F
É uma TAUTOLOGIA.
TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa
Contradições
O 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 !!!
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 ↔ ¬ p
V V F F V
F F F V F
TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
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 V
V F V F F F F V V F
F V F F V F F F V V
F F F F F F V F F F
É uma CONTRADIÇÃO.
TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
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 V
V F F V F V V V F
F V V F F F F F V
F F V F F F F V F
É uma CONTRADIÇÃO.
TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
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ências
O que é:
Vamos fazer alguns exercícios !!!
TAUTOLOGIAS,
CONTRADIÇÕES E CONTINGÊNCIAS
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 V
V F V F F F V V F
F V F F V F F V V
F 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
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
Obrigado !!!
ANHANGUERA – 2016.2

Contenu connexe

Tendances

Lógica: Exercícios Resolvidos
Lógica: Exercícios ResolvidosLógica: Exercícios Resolvidos
Lógica: Exercícios Resolvidosnumerosnamente
 
Lógica de Programação - Algoritmos
Lógica de Programação - AlgoritmosLógica de Programação - Algoritmos
Lógica de Programação - AlgoritmosRoney Sousa
 
Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)wilkerfilipel
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação LógicaHugo Souza
 
Questões Resolvidas Teste Anpad set 2017
Questões Resolvidas Teste Anpad set 2017Questões Resolvidas Teste Anpad set 2017
Questões Resolvidas Teste Anpad set 2017Estratégia Concursos
 
Progressão aritmética No Cotidiano
Progressão aritmética No CotidianoProgressão aritmética No Cotidiano
Progressão aritmética No Cotidianoblackheat23
 
Logica computacional
Logica computacionalLogica computacional
Logica computacionalJota Thin
 
Aula 6 relações semânticas entre os conectivos da lógica proposicional
Aula 6   relações semânticas entre os conectivos da lógica proposicionalAula 6   relações semânticas entre os conectivos da lógica proposicional
Aula 6 relações semânticas entre os conectivos da lógica proposicionalPaulo Cesar Diniz Bicudo
 
Algoritmos e Técnicas de Programação - Aula 03
Algoritmos e Técnicas de Programação - Aula 03Algoritmos e Técnicas de Programação - Aula 03
Algoritmos e Técnicas de Programação - Aula 03thomasdacosta
 
Lógica de Programação e Algoritmos
Lógica de Programação e AlgoritmosLógica de Programação e Algoritmos
Lógica de Programação e AlgoritmosMario Jorge Pereira
 
Regras de três simples
Regras de três simplesRegras de três simples
Regras de três simpleschico marmelo
 
Slides- Progressão Geométrica
Slides- Progressão GeométricaSlides- Progressão Geométrica
Slides- Progressão GeométricaKetlin Cavane
 
Algoritmos e Técnicas de Programação - Aula 02
Algoritmos e Técnicas de Programação - Aula 02Algoritmos e Técnicas de Programação - Aula 02
Algoritmos e Técnicas de Programação - Aula 02thomasdacosta
 
Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - IntroduçãoUlrich Schiel
 

Tendances (20)

Lógica: Exercícios Resolvidos
Lógica: Exercícios ResolvidosLógica: Exercícios Resolvidos
Lógica: Exercícios Resolvidos
 
Lógica de Programação - Algoritmos
Lógica de Programação - AlgoritmosLógica de Programação - Algoritmos
Lógica de Programação - Algoritmos
 
Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)Lógica matemática (exercícios resolvidos)
Lógica matemática (exercícios resolvidos)
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação Lógica
 
Questões Resolvidas Teste Anpad set 2017
Questões Resolvidas Teste Anpad set 2017Questões Resolvidas Teste Anpad set 2017
Questões Resolvidas Teste Anpad set 2017
 
Aula 2 raciocínio lógico
Aula 2   raciocínio lógicoAula 2   raciocínio lógico
Aula 2 raciocínio lógico
 
Progressão aritmética No Cotidiano
Progressão aritmética No CotidianoProgressão aritmética No Cotidiano
Progressão aritmética No Cotidiano
 
Logica computacional
Logica computacionalLogica computacional
Logica computacional
 
Algoritmo aula 01-f
Algoritmo   aula 01-fAlgoritmo   aula 01-f
Algoritmo aula 01-f
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
Aula 6 relações semânticas entre os conectivos da lógica proposicional
Aula 6   relações semânticas entre os conectivos da lógica proposicionalAula 6   relações semânticas entre os conectivos da lógica proposicional
Aula 6 relações semânticas entre os conectivos da lógica proposicional
 
Algoritmos e Técnicas de Programação - Aula 03
Algoritmos e Técnicas de Programação - Aula 03Algoritmos e Técnicas de Programação - Aula 03
Algoritmos e Técnicas de Programação - Aula 03
 
Raciocinio Lógico
Raciocinio LógicoRaciocinio Lógico
Raciocinio Lógico
 
Tempos do verbo
Tempos do verboTempos do verbo
Tempos do verbo
 
Lógica de Programação e Algoritmos
Lógica de Programação e AlgoritmosLógica de Programação e Algoritmos
Lógica de Programação e Algoritmos
 
Regras de três simples
Regras de três simplesRegras de três simples
Regras de três simples
 
Polinômios..
Polinômios..Polinômios..
Polinômios..
 
Slides- Progressão Geométrica
Slides- Progressão GeométricaSlides- Progressão Geométrica
Slides- Progressão Geométrica
 
Algoritmos e Técnicas de Programação - Aula 02
Algoritmos e Técnicas de Programação - Aula 02Algoritmos e Técnicas de Programação - Aula 02
Algoritmos e Técnicas de Programação - Aula 02
 
Matemática Discreta - Introdução
Matemática Discreta - IntroduçãoMatemática Discreta - Introdução
Matemática Discreta - Introdução
 

En vedette

Lógica e Matemática Computacional - Exercícios 01
Lógica e Matemática Computacional - Exercícios 01Lógica e Matemática Computacional - Exercícios 01
Lógica e Matemática Computacional - Exercícios 01thomasdacosta
 
Matemática computacional noções de lógica
Matemática computacional   noções de lógicaMatemática computacional   noções de lógica
Matemática computacional noções de lógicaAristóteles Meneses
 
Programação de Sistemas Distribuídos - Aula 03
Programação de Sistemas Distribuídos - Aula 03Programação de Sistemas Distribuídos - Aula 03
Programação de Sistemas Distribuídos - Aula 03thomasdacosta
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalAdolfo Neto
 
Tutorial MySQL com Java
Tutorial MySQL com JavaTutorial MySQL com Java
Tutorial MySQL com JavaMySQL Brasil
 
1 aula-raciocínio lógico- apostila amostra-exerccios-para 1º parte
1 aula-raciocínio lógico- apostila amostra-exerccios-para 1º parte1 aula-raciocínio lógico- apostila amostra-exerccios-para 1º parte
1 aula-raciocínio lógico- apostila amostra-exerccios-para 1º parteTeresa Castelo-Grande
 
Organização de Computadores - Aula 01
Organização de Computadores - Aula 01Organização de Computadores - Aula 01
Organização de Computadores - Aula 01thomasdacosta
 
Mmm aula 06 processador
Mmm   aula 06 processadorMmm   aula 06 processador
Mmm aula 06 processadorRoney Sousa
 
Exercicios de estatistica_i
Exercicios de estatistica_iExercicios de estatistica_i
Exercicios de estatistica_iOcreAngra
 
Aula 1 lógica de programação
Aula 1   lógica de programaçãoAula 1   lógica de programação
Aula 1 lógica de programaçãoInstituto CENTEC
 
Matemática – lógica banco de questões 01 – 2014
Matemática – lógica banco de questões 01 – 2014Matemática – lógica banco de questões 01 – 2014
Matemática – lógica banco de questões 01 – 2014Jakson Raphael Pereira Barbosa
 
Coletanea de-exercicios-resolvidos-em-liguagem-c
Coletanea de-exercicios-resolvidos-em-liguagem-cColetanea de-exercicios-resolvidos-em-liguagem-c
Coletanea de-exercicios-resolvidos-em-liguagem-cricard0606
 
Indução e confirmação
Indução e confirmaçãoIndução e confirmação
Indução e confirmaçãoguest1d16fd
 
Introdução a Dedução Natural
Introdução a Dedução Natural Introdução a Dedução Natural
Introdução a Dedução Natural Luiz Ottávio
 

En vedette (20)

Lógica e Matemática Computacional - Exercícios 01
Lógica e Matemática Computacional - Exercícios 01Lógica e Matemática Computacional - Exercícios 01
Lógica e Matemática Computacional - Exercícios 01
 
Matemática computacional noções de lógica
Matemática computacional   noções de lógicaMatemática computacional   noções de lógica
Matemática computacional noções de lógica
 
Programação de Sistemas Distribuídos - Aula 03
Programação de Sistemas Distribuídos - Aula 03Programação de Sistemas Distribuídos - Aula 03
Programação de Sistemas Distribuídos - Aula 03
 
Lógica proposicional
Lógica proposicionalLógica proposicional
Lógica proposicional
 
Lógica Formal
Lógica FormalLógica Formal
Lógica Formal
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
Lógica Proposicional
Lógica ProposicionalLógica Proposicional
Lógica Proposicional
 
Contrução da tabela verdade
Contrução da tabela verdadeContrução da tabela verdade
Contrução da tabela verdade
 
Tutorial MySQL com Java
Tutorial MySQL com JavaTutorial MySQL com Java
Tutorial MySQL com Java
 
1 aula-raciocínio lógico- apostila amostra-exerccios-para 1º parte
1 aula-raciocínio lógico- apostila amostra-exerccios-para 1º parte1 aula-raciocínio lógico- apostila amostra-exerccios-para 1º parte
1 aula-raciocínio lógico- apostila amostra-exerccios-para 1º parte
 
Organização de Computadores - Aula 01
Organização de Computadores - Aula 01Organização de Computadores - Aula 01
Organização de Computadores - Aula 01
 
Mmm aula 06 processador
Mmm   aula 06 processadorMmm   aula 06 processador
Mmm aula 06 processador
 
Introducao logica3
Introducao logica3Introducao logica3
Introducao logica3
 
Exercicios de estatistica_i
Exercicios de estatistica_iExercicios de estatistica_i
Exercicios de estatistica_i
 
Aula 1 lógica de programação
Aula 1   lógica de programaçãoAula 1   lógica de programação
Aula 1 lógica de programação
 
Matemática – lógica banco de questões 01 – 2014
Matemática – lógica banco de questões 01 – 2014Matemática – lógica banco de questões 01 – 2014
Matemática – lógica banco de questões 01 – 2014
 
Coletanea de-exercicios-resolvidos-em-liguagem-c
Coletanea de-exercicios-resolvidos-em-liguagem-cColetanea de-exercicios-resolvidos-em-liguagem-c
Coletanea de-exercicios-resolvidos-em-liguagem-c
 
Indução e confirmação
Indução e confirmaçãoIndução e confirmação
Indução e confirmação
 
First Order Logic
First Order LogicFirst Order Logic
First Order Logic
 
Introdução a Dedução Natural
Introdução a Dedução Natural Introdução a Dedução Natural
Introdução a Dedução Natural
 

Similaire à Lógica e Matemática Computacional - Aula 03

Tautologias
TautologiasTautologias
Tautologiaspaulocsm
 
Resumo a lógica matemática para concursos
Resumo a lógica matemática para concursosResumo a lógica matemática para concursos
Resumo a lógica matemática para concursosLuiz Ladeira
 
Racicínio Lógico
 Racicínio Lógico Racicínio Lógico
Racicínio LógicoKeilla Ramos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosLizandra Guarnieri Gomes
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosiran rodrigues
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasAristóteles Meneses
 

Similaire à Lógica e Matemática Computacional - Aula 03 (9)

Tautologias
TautologiasTautologias
Tautologias
 
1657721272624.pdf
1657721272624.pdf1657721272624.pdf
1657721272624.pdf
 
Resumo a lógica matemática para concursos
Resumo a lógica matemática para concursosResumo a lógica matemática para concursos
Resumo a lógica matemática para concursos
 
Apostila logica equivalencias-logicas
Apostila logica equivalencias-logicasApostila logica equivalencias-logicas
Apostila logica equivalencias-logicas
 
Racicínio Lógico
 Racicínio Lógico Racicínio Lógico
Racicínio Lógico
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Apostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursosApostila raciocicnio-logico-para-concursos
Apostila raciocicnio-logico-para-concursos
 
Tautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalênciasTautologias, contradições, contigências e equivalências
Tautologias, contradições, contigências e equivalências
 

Plus de thomasdacosta

Azure Functions e Java: Do Desenvolvimento a Produção
Azure Functions e Java: Do Desenvolvimento a ProduçãoAzure Functions e Java: Do Desenvolvimento a Produção
Azure Functions e Java: Do Desenvolvimento a Produçãothomasdacosta
 
Programação de Sistemas Distribuídos - Aula 02
Programação de Sistemas Distribuídos - Aula 02Programação de Sistemas Distribuídos - Aula 02
Programação de Sistemas Distribuídos - Aula 02thomasdacosta
 
Programação de Sistemas Distribuídos - Aula 01
Programação de Sistemas Distribuídos - Aula 01Programação de Sistemas Distribuídos - Aula 01
Programação de Sistemas Distribuídos - Aula 01thomasdacosta
 
Organização de Computadores - Aula 02
Organização de Computadores - Aula 02Organização de Computadores - Aula 02
Organização de Computadores - Aula 02thomasdacosta
 
Organização de Computadores - Aula 03
Organização de Computadores - Aula 03Organização de Computadores - Aula 03
Organização de Computadores - Aula 03thomasdacosta
 
Redes de Computadores - Exercícios 06
Redes de Computadores - Exercícios 06Redes de Computadores - Exercícios 06
Redes de Computadores - Exercícios 06thomasdacosta
 
Redes de Computadores - Exercícios 05
Redes de Computadores - Exercícios 05Redes de Computadores - Exercícios 05
Redes de Computadores - Exercícios 05thomasdacosta
 
Programação Concorrente - Curso Completo
Programação Concorrente - Curso CompletoProgramação Concorrente - Curso Completo
Programação Concorrente - Curso Completothomasdacosta
 
Programação Concorrente - Aula 07
Programação Concorrente - Aula 07Programação Concorrente - Aula 07
Programação Concorrente - Aula 07thomasdacosta
 
Programação Concorrente - Aula 06
Programação Concorrente - Aula 06Programação Concorrente - Aula 06
Programação Concorrente - Aula 06thomasdacosta
 
Redes de Computadores - Exercícios 04
Redes de Computadores - Exercícios 04Redes de Computadores - Exercícios 04
Redes de Computadores - Exercícios 04thomasdacosta
 
Redes de Computadores - Aula 05
Redes de Computadores - Aula 05Redes de Computadores - Aula 05
Redes de Computadores - Aula 05thomasdacosta
 
Programação Concorrente - Aula 05
Programação Concorrente - Aula 05Programação Concorrente - Aula 05
Programação Concorrente - Aula 05thomasdacosta
 
Linguagem de Programação Java
Linguagem de Programação JavaLinguagem de Programação Java
Linguagem de Programação Javathomasdacosta
 
Programação Concorrente - Aula 04
Programação Concorrente - Aula 04Programação Concorrente - Aula 04
Programação Concorrente - Aula 04thomasdacosta
 
Redes de Computadores - Exercícios 03
Redes de Computadores - Exercícios 03Redes de Computadores - Exercícios 03
Redes de Computadores - Exercícios 03thomasdacosta
 
Redes de Computadores - Aula 04
Redes de Computadores - Aula 04Redes de Computadores - Aula 04
Redes de Computadores - Aula 04thomasdacosta
 
Algoritmos e Estrutura de Dados - Aula 05
Algoritmos e Estrutura de Dados - Aula 05Algoritmos e Estrutura de Dados - Aula 05
Algoritmos e Estrutura de Dados - Aula 05thomasdacosta
 
Algoritmos e Estrutura de Dados - Aula 04
Algoritmos e Estrutura de Dados - Aula 04Algoritmos e Estrutura de Dados - Aula 04
Algoritmos e Estrutura de Dados - Aula 04thomasdacosta
 
Programação Concorrente - Aula 03
Programação Concorrente - Aula 03Programação Concorrente - Aula 03
Programação Concorrente - Aula 03thomasdacosta
 

Plus de thomasdacosta (20)

Azure Functions e Java: Do Desenvolvimento a Produção
Azure Functions e Java: Do Desenvolvimento a ProduçãoAzure Functions e Java: Do Desenvolvimento a Produção
Azure Functions e Java: Do Desenvolvimento a Produção
 
Programação de Sistemas Distribuídos - Aula 02
Programação de Sistemas Distribuídos - Aula 02Programação de Sistemas Distribuídos - Aula 02
Programação de Sistemas Distribuídos - Aula 02
 
Programação de Sistemas Distribuídos - Aula 01
Programação de Sistemas Distribuídos - Aula 01Programação de Sistemas Distribuídos - Aula 01
Programação de Sistemas Distribuídos - Aula 01
 
Organização de Computadores - Aula 02
Organização de Computadores - Aula 02Organização de Computadores - Aula 02
Organização de Computadores - Aula 02
 
Organização de Computadores - Aula 03
Organização de Computadores - Aula 03Organização de Computadores - Aula 03
Organização de Computadores - Aula 03
 
Redes de Computadores - Exercícios 06
Redes de Computadores - Exercícios 06Redes de Computadores - Exercícios 06
Redes de Computadores - Exercícios 06
 
Redes de Computadores - Exercícios 05
Redes de Computadores - Exercícios 05Redes de Computadores - Exercícios 05
Redes de Computadores - Exercícios 05
 
Programação Concorrente - Curso Completo
Programação Concorrente - Curso CompletoProgramação Concorrente - Curso Completo
Programação Concorrente - Curso Completo
 
Programação Concorrente - Aula 07
Programação Concorrente - Aula 07Programação Concorrente - Aula 07
Programação Concorrente - Aula 07
 
Programação Concorrente - Aula 06
Programação Concorrente - Aula 06Programação Concorrente - Aula 06
Programação Concorrente - Aula 06
 
Redes de Computadores - Exercícios 04
Redes de Computadores - Exercícios 04Redes de Computadores - Exercícios 04
Redes de Computadores - Exercícios 04
 
Redes de Computadores - Aula 05
Redes de Computadores - Aula 05Redes de Computadores - Aula 05
Redes de Computadores - Aula 05
 
Programação Concorrente - Aula 05
Programação Concorrente - Aula 05Programação Concorrente - Aula 05
Programação Concorrente - Aula 05
 
Linguagem de Programação Java
Linguagem de Programação JavaLinguagem de Programação Java
Linguagem de Programação Java
 
Programação Concorrente - Aula 04
Programação Concorrente - Aula 04Programação Concorrente - Aula 04
Programação Concorrente - Aula 04
 
Redes de Computadores - Exercícios 03
Redes de Computadores - Exercícios 03Redes de Computadores - Exercícios 03
Redes de Computadores - Exercícios 03
 
Redes de Computadores - Aula 04
Redes de Computadores - Aula 04Redes de Computadores - Aula 04
Redes de Computadores - Aula 04
 
Algoritmos e Estrutura de Dados - Aula 05
Algoritmos e Estrutura de Dados - Aula 05Algoritmos e Estrutura de Dados - Aula 05
Algoritmos e Estrutura de Dados - Aula 05
 
Algoritmos e Estrutura de Dados - Aula 04
Algoritmos e Estrutura de Dados - Aula 04Algoritmos e Estrutura de Dados - Aula 04
Algoritmos e Estrutura de Dados - Aula 04
 
Programação Concorrente - Aula 03
Programação Concorrente - Aula 03Programação Concorrente - Aula 03
Programação Concorrente - Aula 03
 

Lógica e Matemática Computacional - Aula 03

  • 1. ANHANGUERA – 2016.2 LÓGICA E MATEMÁTICA COMPUTACIONAL AULA 03 – TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS Prof. Thomás da Costa thomascosta@aedu.com
  • 2. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
  • 3. 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. Tautologia O que é: TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS Vamos fazer alguns exercícios !!!
  • 4. 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 V V F V V V V F F F V F V V F F V F F F V V F F F É uma TAUTOLOGIA.
  • 5. 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 V V F V F F V V F F F V F F V V F F V F F F F F V F V F É uma TAUTOLOGIA.
  • 6. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Exercícios Resolva a tabela verdade da expressão abaixo: p ˅ (q ˄ ¬ q) ↔ p p q p ˅ (q ˄ ¬ q) ↔ p V V V V V F F V V V V F V V F F V F V V F V F F V F F V V F F F F F F F V F V F É uma TAUTOLOGIA. TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
  • 7. LÓGICA E MATEMÁTICA COMPUTACIONAL – Prof. Thomás da Costa Contradições O 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 !!!
  • 8. 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 ↔ ¬ p V V F F V F F F V F TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
  • 9. 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 V V F V F F F F V V F F V F F V F F F V V F F F F F F V F F F É uma CONTRADIÇÃO. TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
  • 10. 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 V V F F V F V V V F F V V F F F F F V F F V F F F F V F É uma CONTRADIÇÃO. TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
  • 11. 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ências O que é: Vamos fazer alguns exercícios !!! TAUTOLOGIAS, CONTRADIÇÕES E CONTINGÊNCIAS
  • 12. 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 V V F V F F F V V F F V F F V F F V V F 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
  • 13. 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