Programa

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) Rosas são vermelhas e violetas são azuis.

p ^ q

~ (p ^ q)

~ p v ~ q

Rosas não são vermelhas ou Violetas não são azuis.

(b) É falso que não está frio ou que está chovendo.

~ p v q

~ (~ p v q)

~ ~ p ^ ~ q

p ^ ~ q

Está frio e não está chovendo.

(c) Não é verdade que o pai de Marcos é Pernambucano ou que a mãe é Gaúcha.

~ p v q

~ (~ p v q)

~ ~ p ^ ~ q

p ^ ~ q

Pai de Marcos é Pernambucano e a mãe não é Gaúcha.

(d) Não é verdade que as vendas estão diminuindo e que os preços estão aumentando.

~ p ^ q

~ (~ p ^ q)

~ ~ p v ~ q

p v ~ q

As vendas estão diminuindo ou os preços não estão aumentando.

(e) Não é verdade que Jorge estuda Física, mas não química.

~ p ^ q

~ (~ p ^ ~ q)

~ ~ p ^ ~ ~ q

p v q

Jorge estuda física ou química.

2. Usar o método dedutivo para simplificar as seguintes proposições:

(a)

~ (p v ~ q) De Morgan

~ p ^ ~ ~ q

~ p ^ q

(b)

~ (~ p ^ q) De Morgan

~ ~ p v ~ q

p v ~ q

(c)

~ (~ p v ~ q) De Morgan

~ ~ p ^ ~ ~ q

p ^ q

(d)

(p v q) ^ ~