PORTIFOLIO INDIVIDUAL 2 SEMESTRE ANALISE DE SITEMAS UNOPAR

LÓGICA E TECNICAS DE PROGRAMAÇÃO
Aula 2
Construção de Tabela‐Verdade

Traduzir para a linguagem simbólica, considerando: r: Gabi é p: Gabi é rica. q: Gabi é feliz estudante. ATIVIDADE EM SALA

(a) Se Gabi é estudante e rica, então é estudante e feliz.
(b) Se Gabi é pobre, então é feliz.
(c) Gabi é rica se e somente se não é estudante.
(d) Gabi é estudante e feliz se e somente se for rica.

p q

V
V
F q

TABELA‐VERDADE

V

F

p

F q

1

NEGAÇÃO p ~p

NEGAÇÃO
“Não p” tem o valor lógico oposto de p.
Notação: ~p (lê‐se não p)

V
F

Tabela‐verdade da negação:

Exemplos: p: Montevidéu é a capital da
Espanha. (F)
~p:
q: As baleias são peixes. (F)
~q:
r: A metade de 12 é 6. (V)
~r:

Tabela‐verdade p V

V

V

F

F

V

F

CONJUNÇÃO

q

F

p^q

Valor lógico é a verdade
(V) quando as proposições p e q são ambas verdadeiras e a falsidade (F) nos demais casos.
Notação: p  q
(lê‐se p e q)

Exemplos: p: André é músico. (V) q: Lúcia estuda poesia. (V) p  q:

DISJUNÇÃO

r: Picasso foi um grande artista. (V) s: Van Gogh foi piloto de moto. (F) r  s:

2

Tabela‐verdade p q

V

V

V

F

F

V

F

pvq

Valor lógico é a verdade
(V) quando ao menos uma das proposições p e q é verdadeira e a falsidade (F) quando as proposições p e q são ambas falsas.
Notação: p v q
(lê‐se p ou q)

F

DISJUNÇÃO EXCLUSIVA

DISJUNÇÃO
Exemplos:
p: Hoje é quarta‐feira.(V) q: Hoje tem futebol na televisão.(V) p v q: r: Eliane nasceu na Bahia. (F) s: Felipe Massa é um piloto da
Williams.(F)
r v s:

Tabela‐verdade

Q: Mário é alagoano ou gaúcho. q

V

V
F

F

V

F

P: Carlos é médico ou professor. p

V

Na linguagem comum, a palavra ou tem dois sentidos:

F

pvq

Valor lógico é a verdade
(V) somente quando p é verdadeira ou q é verdadeira, mas não quando p e q são ambas
verdadeiras,