Proposições Equivalentes

Apresentação em tema: "Proposições Equivalentes"— Transcrição da apresentação:

1 Proposições Equivalentes
Prof. Marcone Sotéro

2 Exercício – FCC/TRT

3 Exercício – FCC/TRT

4 Exercício – FCC/TRT

5 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

6 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

7 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

8 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