FACULDADE DE TECNOLOGIA INTERNACIONAL

TRABALHO DE RACIOCÍNIO LÓGICO

CURITIBA
2012
OCTAVIO DOS SANTOS, HEROS FABIANO, ROBERTO SOARES,

FELIPE BARNABÉ

LISTA DE EXERCÍCIOS

Trabalho apresentado para a Disciplina de Raciocínio Lógico do Curso de Tecnologia em Análise e Desenvolvimento de Sistemas da Faculdade de Tecnologia Internacional de Curitiba. Orientadora: Professora Neusa Grando.

CURITIBA

2012

1. Dar a negação em linguagem corrente de cada uma das seguintes proposições:

(a) …exibir mais conteúdo…

Verificar mediante tabelas-verdade que são válidos ou não-válidos (sofisma) os seguintes argumentos:

(a) p → ~ q, q, ~ p → r ^ s ├ r ^ s

p |→ |~ |q |^ |q |^ |~ |p |→ |r |^ |s |→ |r |^ |s | |V |F |F |V | | V | |F |V |V |V |V |V | |V |V |V | |V |F |F |V | |V | |F |V |V |V |F |F | |V |F |F | |V |F |F |V | |V | |F |V |V |F |F |V | |F |F |V | |V |F |F |V | |V | |F |V |V |F |F |F | |F |F |F | |V |V |V |F | |F | |F |V |V |V |F |V | |V |F |V | |V |V |V |F | |F | |F |V |V |V |F |F | |V |F |F | |V |V |V |F | |F | |F |V |V |F |F |V | |F |F |V | |V |V |V |F | |F | |F |V |V |F |F |F | |F |F |F | |F |V |F |V | |V | |V |F |V |V |V |V | |V |V |V | |F |V |F |V | |V | |V |F |F |V |F |F | |V |F |F | |F |V |F |V | |V | |V |F |F |F |F |V | |F |F |V |