SlideShare uma empresa Scribd logo
1 de 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

Mais conteúdo relacionado

Mais procurados

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
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemáticaAristóteles Meneses
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica ProposicionalAdolfo Neto
 
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
 
Aula 02 - Escolha caso
Aula 02 - Escolha casoAula 02 - Escolha caso
Aula 02 - Escolha casoEder Samaniego
 
Fonética e fonologia
Fonética e fonologiaFonética e fonologia
Fonética e fonologiaDiego Prezia
 
Resumo da gramática - classe de palavras
Resumo da gramática - classe de palavrasResumo da gramática - classe de palavras
Resumo da gramática - classe de palavrasLurdes Augusto
 
Aula 6 - Estruturas de seleção encadeada - parte 1
Aula 6 - Estruturas de seleção encadeada - parte 1Aula 6 - Estruturas de seleção encadeada - parte 1
Aula 6 - Estruturas de seleção encadeada - parte 1Pacc UAB
 
Lista de exercicios algoritmos resolvida-
Lista de exercicios   algoritmos  resolvida-Lista de exercicios   algoritmos  resolvida-
Lista de exercicios algoritmos resolvida-Mauro Pereira
 
Teoria Lista Exercicios 1.0
Teoria Lista Exercicios 1.0Teoria Lista Exercicios 1.0
Teoria Lista Exercicios 1.0Thayse
 
Logica computacional
Logica computacionalLogica computacional
Logica computacionalJota Thin
 
Apresentação python fábio jr alves
Apresentação python   fábio jr alvesApresentação python   fábio jr alves
Apresentação python fábio jr alvesGrupython Ufla
 
Aula 8 - Repetição PARA ATÉ - parte 1
Aula 8 - Repetição PARA ATÉ - parte 1Aula 8 - Repetição PARA ATÉ - parte 1
Aula 8 - Repetição PARA ATÉ - parte 1Pacc UAB
 
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
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação LógicaHugo Souza
 

Mais procurados (20)

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
 
Raciocínio lógico parte 1
Raciocínio lógico   parte 1Raciocínio lógico   parte 1
Raciocínio lógico parte 1
 
Aula introdução à lógica matemática
Aula introdução à lógica matemáticaAula introdução à lógica matemática
Aula introdução à lógica matemática
 
Logica Proposicional
Logica ProposicionalLogica Proposicional
Logica Proposicional
 
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)
 
Aula 02 - Escolha caso
Aula 02 - Escolha casoAula 02 - Escolha caso
Aula 02 - Escolha caso
 
Fonética e fonologia
Fonética e fonologiaFonética e fonologia
Fonética e fonologia
 
Resumo da gramática - classe de palavras
Resumo da gramática - classe de palavrasResumo da gramática - classe de palavras
Resumo da gramática - classe de palavras
 
Compiladores
CompiladoresCompiladores
Compiladores
 
Aula 6 - Estruturas de seleção encadeada - parte 1
Aula 6 - Estruturas de seleção encadeada - parte 1Aula 6 - Estruturas de seleção encadeada - parte 1
Aula 6 - Estruturas de seleção encadeada - parte 1
 
Lista de exercicios algoritmos resolvida-
Lista de exercicios   algoritmos  resolvida-Lista de exercicios   algoritmos  resolvida-
Lista de exercicios algoritmos resolvida-
 
Teoria Lista Exercicios 1.0
Teoria Lista Exercicios 1.0Teoria Lista Exercicios 1.0
Teoria Lista Exercicios 1.0
 
Logica computacional
Logica computacionalLogica computacional
Logica computacional
 
Apresentação python fábio jr alves
Apresentação python   fábio jr alvesApresentação python   fábio jr alves
Apresentação python fábio jr alves
 
Aula 8 - Repetição PARA ATÉ - parte 1
Aula 8 - Repetição PARA ATÉ - parte 1Aula 8 - Repetição PARA ATÉ - parte 1
Aula 8 - Repetição PARA ATÉ - parte 1
 
Paradigmas de programação
Paradigmas de programaçãoParadigmas de programação
Paradigmas de programação
 
Ficha de trabalho 1 modulo 1
Ficha de trabalho 1   modulo 1Ficha de trabalho 1   modulo 1
Ficha de trabalho 1 modulo 1
 
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
 
Implicação Lógica
Implicação LógicaImplicação Lógica
Implicação Lógica
 
Aula 2 raciocínio lógico
Aula 2   raciocínio lógicoAula 2   raciocínio lógico
Aula 2 raciocínio lógico
 

Destaque

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
 
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
 

Destaque (18)

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
 
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
 

Semelhante a Lógica e Matemática Computacional - Aula 03

Tautologias
TautologiasTautologias
Tautologiaspaulocsm
 
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
 
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
 
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
 

Semelhante a Lógica e Matemática Computacional - Aula 03 (10)

Tautologias
TautologiasTautologias
Tautologias
 
1657721272624.pdf
1657721272624.pdf1657721272624.pdf
1657721272624.pdf
 
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
 
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
 
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
 

Mais 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
 

Mais 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
 

Último

Padrões de Projeto: Proxy e Command com exemplo
Padrões de Projeto: Proxy e Command com exemploPadrões de Projeto: Proxy e Command com exemplo
Padrões de Projeto: Proxy e Command com exemploDanilo Pinotti
 
ATIVIDADE 1 - GCOM - GESTÃO DA INFORMAÇÃO - 54_2024.docx
ATIVIDADE 1 - GCOM - GESTÃO DA INFORMAÇÃO - 54_2024.docxATIVIDADE 1 - GCOM - GESTÃO DA INFORMAÇÃO - 54_2024.docx
ATIVIDADE 1 - GCOM - GESTÃO DA INFORMAÇÃO - 54_2024.docx2m Assessoria
 
Assessement Boas Praticas em Kubernetes.pdf
Assessement Boas Praticas em Kubernetes.pdfAssessement Boas Praticas em Kubernetes.pdf
Assessement Boas Praticas em Kubernetes.pdfNatalia Granato
 
ATIVIDADE 1 - LOGÍSTICA EMPRESARIAL - 52_2024.docx
ATIVIDADE 1 - LOGÍSTICA EMPRESARIAL - 52_2024.docxATIVIDADE 1 - LOGÍSTICA EMPRESARIAL - 52_2024.docx
ATIVIDADE 1 - LOGÍSTICA EMPRESARIAL - 52_2024.docx2m Assessoria
 
Boas práticas de programação com Object Calisthenics
Boas práticas de programação com Object CalisthenicsBoas práticas de programação com Object Calisthenics
Boas práticas de programação com Object CalisthenicsDanilo Pinotti
 
ATIVIDADE 1 - CUSTOS DE PRODUÇÃO - 52_2024.docx
ATIVIDADE 1 - CUSTOS DE PRODUÇÃO - 52_2024.docxATIVIDADE 1 - CUSTOS DE PRODUÇÃO - 52_2024.docx
ATIVIDADE 1 - CUSTOS DE PRODUÇÃO - 52_2024.docx2m Assessoria
 

Último (6)

Padrões de Projeto: Proxy e Command com exemplo
Padrões de Projeto: Proxy e Command com exemploPadrões de Projeto: Proxy e Command com exemplo
Padrões de Projeto: Proxy e Command com exemplo
 
ATIVIDADE 1 - GCOM - GESTÃO DA INFORMAÇÃO - 54_2024.docx
ATIVIDADE 1 - GCOM - GESTÃO DA INFORMAÇÃO - 54_2024.docxATIVIDADE 1 - GCOM - GESTÃO DA INFORMAÇÃO - 54_2024.docx
ATIVIDADE 1 - GCOM - GESTÃO DA INFORMAÇÃO - 54_2024.docx
 
Assessement Boas Praticas em Kubernetes.pdf
Assessement Boas Praticas em Kubernetes.pdfAssessement Boas Praticas em Kubernetes.pdf
Assessement Boas Praticas em Kubernetes.pdf
 
ATIVIDADE 1 - LOGÍSTICA EMPRESARIAL - 52_2024.docx
ATIVIDADE 1 - LOGÍSTICA EMPRESARIAL - 52_2024.docxATIVIDADE 1 - LOGÍSTICA EMPRESARIAL - 52_2024.docx
ATIVIDADE 1 - LOGÍSTICA EMPRESARIAL - 52_2024.docx
 
Boas práticas de programação com Object Calisthenics
Boas práticas de programação com Object CalisthenicsBoas práticas de programação com Object Calisthenics
Boas práticas de programação com Object Calisthenics
 
ATIVIDADE 1 - CUSTOS DE PRODUÇÃO - 52_2024.docx
ATIVIDADE 1 - CUSTOS DE PRODUÇÃO - 52_2024.docxATIVIDADE 1 - CUSTOS DE PRODUÇÃO - 52_2024.docx
ATIVIDADE 1 - CUSTOS DE PRODUÇÃO - 52_2024.docx
 

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