Você está na página 1de 6

CONECTORES LOGICOS

NAO () - Negacao

Para Decorar: Se V fica F, e se F fica V


Tabela 1: Negacao
P P
V F
F V

E () - Conjuncao

Para Decorar: Todos tem que ser V para resultar em V

Tabela 2: Conjuncao
P Q PQ
V V V
V F F
F V F
F F F

OU () - Disjuncao Inclusiva (...ou...)

Para Decorar: Basta um ser V para da V

Tabela 3: Disjuncao Inclusiva


P Q PQ
V V V
V F V
F V V
F F F

OU EXCLUSIVO () - Disjuncao Exclusiva (Ou...ou...)

Para Decorar: Apenas um tem que ser V para da V

Tabela 4: Disjuncao Exclusiva


P Q PQ
V V F
V F V
F V V
F F F

1
CONDICIONAL () - Se (antecedente) entao (consequente)

Para Decorar: So da F de V F

Tabela 5: Condicional
P Q P Q
V V V
V F F
F V V
F F V

BICONDICIONAL () (...se, e somente se,...)

Para Decorar: Iguais da V e Diferentes da F

Tabela 6: Bicondicional
P Q P Q
V V V
V F F
F V F
F F V

OBS.: Definicao - (P Q) (P Q) (Q P)
Veja:
Tabela 7: Equivalencia do Bicondicional
P Q P Q Q P (P Q) (Q P)
V V V V V
V F F V F
F V V F F
F F V V V

PROPOSICOES EQUIVALENTES

1 EQUIVALENCIA () do CONDICIONAL ()

1a Equivalencia - Teorema do Contra-Recproco ou Contrapositiva


Para Decorar: VOLTA NEGANDO

P Q Q P (1)

Exemplos:

2
Se beber, nao dirija. Se dirigir, nao beba.

B D D B (2)

Se nao ando, corro. Se nao corro, ando.

A C C A (3)

2a Equivalencia
Para Decorar: NEGA a 1a OU COPIA a 2a

P Q P Q (4)

Exemplos:

Se beber, nao dirija. Nao beba ou nao dirija.

B D B D (5)

Se nao saio, estudo. Saio ou estudo.

S E S E (6)

2 EQUIVALENCIA () da NEGACAO do E () e do
OU ()

Equivalencia - Leis de Morgan


Para Decorar: TROCA TUDO

(P Q) P Q (7)

(P Q) P Q (8)
Exemplos:

Nao e verdade que durmo E nao aprendo. Nao durmo OU aprendo.

(D A) D A (9)

Nao e verdade que nao sou alto OU sou rico. Sou alto E nao sou rico.

(A R) A R (10)

3
3 EQUIVALENCIA () do OU ()

Para Decorar: SE NEGAR UM COPIE O OUTRO

P Q P Q (11)

P Q Q P (12)
Exemplos:

Nao brinco OU danco. Se brinco, danco Se nao danco, nao brinco.

B D B D D B (13)

Como OU Nao bebo. Se nao como, entao nao bebo Se bebo, entao como.

C B C B B C (14)

4 EQUIVALENCIA () da NEGACAO CONDICIONAL


()

Para Decorar: COPIA a 1a E NEGA a 2a

(P Q) P Q (15)

Exemplos:

Nao e verdade que se almoco, nao janto. Almoco E janto.

(A J) A J (16)

Nao e verdade que se nao brinco, durmo. Nao brinco E nao durmo.

(B D) B D (17)

Nao e verdade que se comer manga com leite, entao morre. Porque eu comi manga com
leite E nao morri.
(M L M ) M L M (18)
Obs.: Assuma o eunao intolerante a lactose! Para o euintolerante, substitua o leite
por vinagre+tempero+sal e claro, de preferencia a manga verde!

5 EQUIVALENCIA () da NEGACAO do BICONDI-


CIONAL () / da NEGACAO do OU-EXCLUSIVO
()

Para Decorar: NEGA um e exatamente o OUTRO

(P Q) P Q (19)

4
(P Q) P Q (20)

Resumo das aulas do Prof. Jairo Teixeira!

Exerccios
1. Qual formula e equivalente a negacao da formula
x(P(x) Q(x)) ?
Obs.: O que e equivalente, e equivalente a alguma coisa. Temos, portanto a preposicao
a. Se o complemento for feminino, teremos crase.

Res.: Negacao de para todo x (x) e o mesmo que dizer que ha


algum x, pelo menos um x ou existe um x (x) que nao satisfaz.

Exemplo: Todos os numeros sao naturais.


Negacao: Existe um numero que nao e natural.
Algum numero nao e natural.
Pelo menos um numero nao e natural.
Entao temos:

(x(P(x) Q(x))) = (x)(P(x) Q(x)) =

x(P(x) Q(x))
Lembre-se: (P Q) P Q
2. Dada as proposicoes, (questao do concurso passado da UFAL)
(a) Se 870 e multiplo de 4, entao 169 e quadrado perfeito.
(b) 870 e multiplo de 4 e 169 e quadrado perfeito.
(c) 870 e multiplo de 4 ou 169 e quadrado perfeito.
(d) 870 e multiplo de 4 se e somente se 169 e quadrado perfeito.
Obs1.: Divisibilidade por 4 - O numero e divisvel por 4 quando
termina em 00 ou quando seus dois ultimos algarismos terminam
em um multiplo de (ou divisvel por) 4. 870 nao e divisvel por 4,
pois 70 nao e divisvel por 4, logo 870 nao e multiplo de 4.

5
Obs2.: Um quadrado perfeito possui raiz quadrada exata. 169 e
um quadrado perfeito, pois 169 = 13.
Res.: Sejam,
p: 870 e multiplo de 4
q: 169 e quadrado perfeito
Logo as preposicoes dadas ficam:
(a) p q
(b) p q
(c) p q
(d) p q
A proposicao p tem valor logico Falso (F) e a proposicao q, valor
logico Verdadeiro (V), logo temos
(a) F V = V Ve Tabela 5 (Condicional)
(b) F V = F Ve Tabela 2 (Conjuncao)
(c) F V = V Ve Tabela 3 (Disjuncao)
(d) F V = F Ve Tabela 6 (Bicondicional)
Conclui-se que so a primeira e a terceira proposicoes
sao verdadeiras!
Lembre-se ainda que em casos semelhantes ao do tipo:
(a) so resulta F de V F
(b) so resulta em V se todos for V
(c) Resulta V se algum for V
(d) Resulta V para todos elementos iguais (V com V ou F com F)
e F para eles diferentes (V com F ou F com V)