Proposições Equivalentes

Slides:



Advertisements
Apresentações semelhantes
Lógica “A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade”
Advertisements

Raciocínio Lógico Matemático
Prof. Marcone Sotéro Método Dedutivo Prof. Marcone Sotéro
CONJUNTO NA LÓGICA P1: Todos os espanhóis são toureiros. P2: Bill Clinton é espanhol. C:
Prof. Marcone Sotéro Cálculo de Predicados Prof. Marcone Sotéro
Prof. Marcone Sotéro Argumento Prof. Marcone Sotéro
PRÉ-PROVA – INSS RACIOCÍNIO LÓGICO – EDGAR ABREU
Prof. Robson Rodrigues da Silva
Lógica Matemática e Computacional 2.2 – Implicação e Equivalência
Elementos de Lógica Matemática
Proposições Equivalentes
Introdução à Programação Lógica
Prof. Sérgio Altenfelder
INTRODUÇÃO A lógica faz parte do nosso cotidiano.
Exercícios de revisão.
FIGURAS SEMELHANTES Prof. Alexandre Lima.
Lógica de Programação Módulo II
Prof. Robson Rodrigues da Silva
Curso: Licenciatura em Matemática
Curso: Licenciatura em Matemática
DEDUÇÃO NO CÁLCULO PROPOSICIONAL
Operadores Aritméticos Valores lógicos Relacionais e lógicos MF.
CONJUNTOS Prof.Alexandre Mello.
Conceitos Básicos.
Curso de Licenciatura em Matemática
Exercícios de lógica -sensibilização
Aulas - 05 Limites, limites laterais, limites infinitos, assíntota vertical e propriedades do limite.
Estatística Básica Aula 2 Medidas de Dispersão
Argumentos, verdade e validade 2
Seja benvindo à demonstração em Powerpoint sobre o conceito de Lógica. Você pode gastar o tempo que quiser para ler os letreiros de cada tela. Para passar.
Métodos Científicos Método Indutivo
3. TEXTO: “A questão da verdade é do domínio da teoria do conhecimento, ou da filosofia da ciência. A questão da validade é do domínio da lógica. [...]
Prof. Esp. Cristiano José Cecanho Inteligência Artificial
Corda é um segmento de reta que une dois pontos da circunferência
SEMÂNTICA.
Lógica Proposicional Dedução Natural.
Lógicas e Inferência para IA
LÓGICA DA ARGUMENTAÇÃO
“A lógica é uma ciência do raciocínio”
QUANTIFICADORES LÓGICOS
Circuitos Combinacionais Exercícios 2 POSCOMP e ENADE
Lógica Erros Comuns Dicionário Escolar de Filosofia, de Aires Almeida LÓGICA.
Lógica matemática.
Introdução à Lógica Jeneffer Ferreira
Prof. Drnd. Alan Rodrigo Antunes IFMS-Três Lagoas
Teste de Matemática- 1°P
Prof. Carlos Roberto da Silva
Lógica Matemática Introdução.
Inteligência Artificial: Lógica Proposicional e Prolog
Utilidade. A reta numérica. Valor absoluto. Números simétricos.
Lógica e Teoria dos Conjuntos
Limites – Aula II Prof. Zé Roque.
3 tipos de argumentos: Dedutivos Indutivos
Decidibilidade, Corretude, Completude, Consistência
Teorema Fundamental da Trigonometria
Inferir: é o ato ou processo de derivar conclusões lógicas de premissas conhecida ou decididamente verdadeiras. A dedução é uma inferência.
Introdução à Engenharia de Computação
Resolução do trabalho de CONES
RACIOCÍNIO LÓGICO PBH JULIANO PEREIRA.
Professor: André L. R. Didier Autor: Francisco Airton
Lógica Matemática Introdução.
SEMÂNTICA.
CORREÇÃO PROVA DE ALGORITMO
Lógica matemática.
TEORIA DOS NÚMEROS Aula 2 – Princípio da Indução Finita
A distinção validade-verdade
Capítulo 4 – Filosofar é conhecer
Silogismo No cumprimento de mais uma tarefa da vida académica, sobretudo na disciplina de Matemática, coube ao grupo, já identificado, elaborar o presente.
LOGARiTMO.
Intervalos Reais.
Transcrição da apresentação:

Proposições Equivalentes Prof. Marcone Sotéro marcone.sotero@pplt.joaquimnabuco.edu.br

Exercício – FCC/TRT

Exercício – FCC/TRT

Exercício – FCC/TRT

Exercício – FCC/TRF Se Rodolfo é mais alto que Guilherme, então Heloisa e Flávia têm a mesma altura. Se Heloisa e Flávia têm a mesma altura , então Alexandre é mais baixo que Guilherme. Se Alexandre é mais baixo que Guilherme, então Rodolfo é mais alto que Heloisa. Ora, Rodolfo não é mais alto que Heloisa. Logo: Rodolfo não é mais alto que Guilherme, e Heloisa e Flávia não têm a mesma altura Rodolfo é mais alto que Guilherme, e Heloisa e Flávia têm a mesma altura Rodolfo não é mais alto que Flávia, e Alexandre é mais baixo que Guilherme Rodolfo e Alexandre são mais baixos que Guilherme Rodolfo é mais alto que Guilherme, e Alexandre é mais baixo que Heloisa

Resposta p: Rodolfo é mais alto que Guilherme q: Heloisa e Flávia têm a mesma altura e: Alexandre é mais baixo que Guilherme s: Rodolfo é mais alto que Heloisa p  q q  e e  s F F F F V F F V F F F F V

Exercício – FCC/TRF Considere que as sentenças abaixo são verdadeiras Se a temperatura está abaixo de 5c, então há nevoeiro. Se há nevoeiro, os aviões não decolam. Assim sendo, também é verdadeira a sentença Se não há nevoeiro, os aviões decolam. Se não há nevoeiro, a temperatura está igual a ou acima de 5c Se os aviões não decolam, então há nevoeiro Se há nevoeiro, então a temperatura está abaixo de 5c Se a temperatura está igual a ou acima de 5c, os aviões decolam

Exercício Observe a construção de um argumento: Premissas: Forma Observe a construção de um argumento: Premissas: Todos os cachorros têm asas. Todos os animais de asas são aquáticos Existem gatos que são cachorros Conclusão: Existem gatos que são aquáticos Sobre o argumento A, as premissas P e a conclusão C, é correto dizer que A não é válido, P é falso e C é verdadeiro A não é válido, P e C são falsos A é válido, P e C são falsos A é válido, P ou C são verdadeiros A é válido se P é verdadeiro e C é falso Conteúdo