RACIOCNIO LGICO

Jos Luiz de Morais

RACiOCNIO LGICO

RACIOCNIO LGICO
Prof Jos Luiz de Morais

NEGAES

So as negaes padro de cada uma das

estruturas lgicas.

CONJUNO

p^q

~(p ^ q) = (~p v ~q)

DISJUNO

pvq

~(p v q) = (~p ^ ~q)

DISJUNO EXCLUSIVA

pvq

~(p v q) = (p q)

CONDICIONAL

pq

~(p q) = (p ^ (~q))

BICONDICIONAL

pq

~(p q) = (p v q)

EXERCCIO COMENTADO

A negao da afirmao: Vai fazer frio e vai fazer calor, :

a. No vai fazer frio e no vai fazer calor.
b. Vai fazer calor e vai fazer frio.
c. Ou vai fazer frio ou vai fazer calor.
d. No vai fazer frio ou no vai fazer calor.
e. Ou no vai fazer calor ou no vai fazer frio.

EXERCCIO COMENTADO

Negar que Pedro foi nadar se e somente se Maria estava

vestida equivale a dizer que:
a.
Pedro foi nadar se e somente se Maria no estava
vestida.
b.

Pedro foi nadar e Maria estava vestida.

c.

Pedro estava vestido e Maria estava nadando.

d.

Ou Pedro foi nadar ou Maria estava vestida.

e.

Pedro no foi nadar e Maria no estava vestida.

EXERCCIO COMENTADO

A negao da afirmao condicional "se estiver chovendo, eu

levo o guarda-chuva" :
a. se no estiver chovendo, eu levo o guarda-chuva
b. no est chovendo e eu levo o guarda-chuva

c. no est chovendo e eu no levo o guarda-chuva

d. se estiver chovendo, eu no levo o guarda-chuva
e. est chovendo e eu no levo o guarda-chuva

So equivalentes as negaes cujas tabelas

verdade apresentem resultados iguais aos das
negaes bsicas.

p ^ q ~(p ^ q) = (~p v ~q) equivalente a p (~q)

p ^ q ~(p ^ q) = (~p v ~q)
V
F
F

p (~q)

~q

EXERCCIO COMENTADO

A negao da sentena A terra chata e a lua um

planeta. :
a. Se a terra chata, ento a lua no um planeta.
b. Se a lua no um planeta, ento a terra no chata.

c. A terra no chata e a lua no um planeta.

d. A terra no chata ou a lua um planeta.
e. A terra no chata se a lua no um planeta.

RACIOCNIO LGICO
Prof Jos Luiz de Morais

RACIOCNIO LGICO
MODULO XV

Chamamos de
1

TAUTOLOGIA

aos resultados V

CONTRADIO

aos resultados F

CONTINGNCIA

quando h dvida

TAUTOLOGIA

CONTRADIO

CONTINGNCIA

Assim:
(p ^ p)

(p ^ (~p))

(p v p)

(p v (~p))

(p v p)

(p v (~p))

(p p)

(p (~p))

(p p) 1

(p (~p))

EXERCCIO COMENTADO

Relacione as colunas e compare, a relao feita, com a

relao proposta abaixo que consideramos estar
correta.

A. (p v p)

1. Tautologia

B. (~p ^ p)

2. Contradio

C. (p v ~p)

3. Contingncia

D. (p ^ p)

A3; B2; C1; D3

RACIOCNIO LGICO
Prof Jos Luiz de Morais

RACIOCNIO LGICO
MODULO XVI

 feita na vertical, na coluna do conectivo lgico da

proposio.
Se todos os valores lgicos forem:
V:

TAUTOLOGIA

F:

CONTRADIO

Pelo menos um diferente: CONTINGNCIA

Assim:
(p ^ q) (p v q) :
p

p^ q

pvq

V
V
F
F

V
F
V
F

V
F
F
F

V
V
V
F

TAUTOLOGIA
(p

^ q)

V
V
V
V

(p v q)

EXERCCIO COMENTADO

Na proposio composta A:
[(((p (q v p)) (q (r x))) ((~b b)y)]

Validando a proposio simples r como falsa,

necessariamente validaremos a proposio composta
A como verdadeira.

RACIOCNIO LGICO
Prof Jos Luiz de Morais

RACIOCNIO LGICO
MDULO XVII

EXERCCIO COMENTADO

Quanto proposio abaixo, podemos afirmar que:

[((( r x ) v ( r v x )) (( p (~q )) (~( p q))))]
a. uma contradio.
b. sua proposio consequente falsa.
c. uma tautologia.
d. uma contingncia.

e. sua proposio consequente contingente.

EXERCCIO COMENTADO

Dadas as proposies simples p e q, tais que p verdadeira e q

falsa, considere as seguintes proposies compostas abaixo e
indique quantas so verdadeiras:

1-)

pq

2-) ~p q

3-) ~(p ~q)

4-) ~(p q)