Вы находитесь на странице: 1из 14

LÓGICA

MATEMÁTICA
Por Priscila Motta Guimarães
AULA 03
O CONECTIVO LÓGICO E
O QUE É LÓGICA MATEMÁTICA
É o uso do conhecimento de regras para a
análise de proposições e conectivos lógicos e
sua relação entre si para determinar em
quais condições determinada coisa é
verdade e em quais condições não é.
O QUE É LÓGICA MATEMÁTICA
É o uso do conhecimento de regras para a
análise de proposições e conectivos lógicos e
sua relação entre si para determinar em
quais condições determinada coisa é
verdade e em quais condições não é.
O conectivo lógico E
Sentido: Algo somente será verdade quando ambas as
proposições conectadas forem verdades. Quando a primeira
proposição E a segunda proposição forem verdadeiras.

É representado pelo símbolo ^

Ana gosta de matemática e Roberto gosta de física


O conectivo lógico E
Sentido: Algo somente será verdade quando ambas as
proposições conectadas forem verdades. Quando a primeira
proposição E a segunda proposição forem verdadeiras.

É representado pelo símbolo ^

Ana gosta de matemática e Roberto gosta de física


Sentido: Algo somente será verdade
O conectivo lógico E quando ambas as proposições
conectadas forem verdades.

Ana gosta de matemática e Roberto gosta de física


p ^ q

p q p^q
n=2
V V V Numero de linhas = 4
V F F
F V F n
F Número de linhas= 2
F F
n=número de proposições
Eu gosto de Atum e de passear aos fins de semana e de flores
p q ^ r
^

p q r p^q^r

V V V V
V V F F
V F V F
V F F F n=3
F V V F Numero de linhas = 8
F V F F
n
F F
F V Número de linhas= 2
F F F F n=número de proposições
Eu gosto de Atum e de passear aos fins de semana e de flores
p q ^ r
^
P
p q r p^q P^r

V V V
V V F
V F V
V F F

F V V
F V F
F F V
F F F
Eu gosto de Atum e de passear aos fins de semana e de flores
p q ^ r
^
P
p q r p^q P^r

V V V V
V V F V
V F V F
V F F F

F V V F

F V F F

F F V F

F F F F
Eu gosto de Atum e de passear aos fins de semana e de flores
p q ^ r
^
P
p q r p^q P^r

V V V V V
V V F V F
V F V F F
V F F F F

F V V F F

F V F F F

F F V F F

F F F F F
Eu gosto de Atum e de passear aos fins de semana e de flores
p q ^ r
^
P
p q r p^q P^r

V V V V V
V V F V F
V F V F F
V F F F F

F V V F F

F V F F F

F F V F F

F F F F F
Isso é a prova real de que
tanto p^q^r quanto P^r são
equivalentes pois possuem
p^q^r P^r resultados iguais.

V V
Conclusões:
F F

F F
1)Você pode fazer,
F F
portanto, da forma que
F F preferir
F F
2)Para se descobrir se há
F F
equivalência, é necessário
F F comparar os resultados da
tabela verdade
EXERCÍCIOS
1)Construa e resolva a tabela verdade para cada um dos itens abaixo:

a. Quero biscoito e chocolate


b. Gosto de praia e de tirar férias
c. Sei nadar e sei remar
d. Gosto de aprender matemática e andar de patins e passear
e. Quero jogar vôlei e comprar um computador e dormir
f. Vou ir para aula amanhã e vou depois ao clube e ao mercado
g. Tenho um caderno e três lápis e um estojo e uma mochila

Вам также может понравиться