Técnico de Informática - TI

Lógica e Linguagem de Programação

Professora: Lucélia Sales

Introdução à Lógica Matemática

Tabela – Verdade
ETC – TI Lógica e Linguagem de Programação

Sumário

Conteúdo
1. Introdução à Lógica Matemática .................................................................................. 3
2. Valor Lógico de uma Proposição ................................................................................. 4
3. Classificação das Proposições ...................................................................................... 4
4. Conectivos .................................................................................................................... 5
5. Tabela - Verdade .......................................................................................................... 5
6. Operações Lógicas sobre Proposições .......................................................................... 6
7. Tautologia, Contradição e Contingência .................................................................... 10
8. Construção Tabela - Verdade ..................................................................................... 11

Profª.: Lucélia Sales Tabela – Verdade 2

ETC – TI Lógica e Linguagem de Programação

1. Introdução à Lógica Matemática

Conceitos fundamentais:
 Lógica – É ciência autônoma formada por princípios, métodos e
técnicas que objetiva organizar e estruturar o pensamento.
Estuda as técnicas de formalização, dedução e análise que
permitem verificar a validade dos argumentos.
 Inferência – é um processo pelo qual se chega a uma
proposição.
 Proposição – designa o significado de uma sentença ou oração
declarativa. Ou todo conjunto de palavras ou símbolos que
exprimem um pensamento de sentido completo.

Exs.:
P1: A Lua é um satélite da Terra.
P2: Fortaleza é a capital do Ceará.
P3: O Brasil é uma jovem Democracia.
P4: A dignidade humana é um dos fundamentos da República.
P5: y = 3x + 2
P6: π > √5
P7: O Brasil é um país sociamente injusto.
P8: A corrupção é um mal às instituições.

Lógica Matemática – É uma parte da Lógica que adota como regras

fundamentais do pensamento os dois princípios (ou axiomas) a
seguir:

 PRINCÍPIO DA NÃO CONTRADIÇÃO – uma proposição não pode

ser verdadeira e falsa ao mesmo tempo.
 PRINCÍPIO DO TERCEIRO EXCLUÍDO – toda proposição ou é
verdadeira ou é falsa, isto é, verifica-se sempre um destes
casos e nunca um terceiro.

Conclusão: em virtude deste último princípio, a Lógica Matemática é

uma Lógica bivalente.

Profª.: Lucélia Sales Tabela – Verdade 3

ETC – TI Lógica e Linguagem de Programação

2. Valor Lógico de uma Proposição

Diz-se a condição de Verdade (V) ou Falsidade (F) assumida por uma

proposição.

Convenção:

 V = Verdade
 F = Falsidade

Ex.:

A Terra gira em torno do Sol (V)

A violência é exclusividade entre os jovens pobres(F)

3. Classificação das Proposições

Proposição Simples ou Atômica – toda proposição que não contém

nenhuma outra como parte integrante de si mesma.
Ex.:

- Carlos é legal.
- O número 25 é quadrado perfeito.

Proposição Composta ou Molecular – toda proposição formada pela

combinação de duas ou mais proposições.

Ex.:

- Carlos é estudante e atleta.

- O número 25 é quadrado perfeito e ímpar.

Profª.: Lucélia Sales Tabela – Verdade 4

ETC – TI Lógica e Linguagem de Programação

4. Conectivos

Segundo o Dicionário Aurélio, deriva do lat. conectere, ‘ligar’, + -

ivo;ingl.conective.] Adjetivo. Que une ou liga.Substantivo. Masculino.
Palavra que liga partes da oração, ou as orações, em um período.
[Var.: conetivo.]

Chamam-se conectivos palavras que se usam para formar novas

proposições a partir de outras.

Ex.:

- O número 6 é par e o número 8 é cubo perfeito.

- O triângulo ABC é retângulo ou isósceles.
- Não está chovendo.
- Se Jorge é engenheiro, então sabe matemática.
- O triângulo ABC é equilátero se e somente se é equiângulo.

Portanto,
São conectivos usuais em Lógica Matemática: “e”, “ou”, “não”, “se
então” e “se e somente se”.

5. Tabela - Verdade

Tabela - Verdade - é o conjunto de valores possíveis de uma ou mais

proposições simples, bem como outros construídos por operações
lógicas entre proposições compostas considerando os princípios
lógicos.

Pelo princípio do terceiro excluído, tem-se que, toda proposição

simples só possui dois valores possíveis, isto é, a Verdade (V) ou a
Falsidade (F). Logo, seja P uma proposição simples, então,
representa-se numa Tabela Verdade por:P

Profª.: Lucélia Sales Tabela – Verdade 5

ETC – TI Lógica e Linguagem de Programação

p
V
F
Portanto,

O valor lógico de qualquer composição composta depende

unicamente dos valores lógicos das proposições simples
componentes, ficando por eles univocamente determinados.

PQ
V
p q
V q
V V F

V F p V

F V F
q
F
F F

Os arranjos binários são formados pelos valores lógicos das

proposições, com repetição dos dois valores possíveis para cada
proposição, isto é, V e F. Isso é possível para combinações ternárias,
quaternárias e assim, sucessivamente.

Notação – para representação de Valor Lógico - Indica-se por: V(p) =

V, quando verdadeira e V(p) = F, quando falsa.

6. Operações Lógicas sobre Proposições

Operações lógicas - são operações realizadas sobre proposições.

Quando pensamos, quase sempre se realiza tais operações as quais
obedecem regras de um cálculo dito proposicional, semelhante ao da
aritmética sobre números.

1. Negação ( ~ ) – chama-se operação de negação de uma proposição

p a proposição representada por “não p”, cujo valor lógico é a
Verdade (V) quando p é falsa e a Falsidade (F) quando p é verdadeira.

Profª.: Lucélia Sales Tabela – Verdade 6

ETC – TI Lógica e Linguagem de Programação

Então, “não p” possui valor lógico oposto ao valor original de p, e

representa-se por “~p”.
P ~p
p ~p
V F
F V

Então ~V = F ~F = V e V(~p) = ~V(p)

Ex.: p:2 + 3 = 5 (V) e ~p = 2 + 3 ≠ 5 (F),logo, V(~p)=~V(p)=~V=F

2. Conjunção ( ^ ) – chama-se conjunção de duas ou mais

proposições p e q a proposição representada por “p e q”, cujo valor
lógico é a Verdade (V) quando as proposições p e q são ambas
verdadeira e a Falsidade (F) nos demais casos. Então, a notação que
representa a operação de conjunção entre duas proposições “p e q” é
indicada por “p ^ q”, lê-se: “p e q”.
PQp^q
p q p^q
V V V
V F F
F V F
F F F

Então, V ^ V = V, V ^ F= F, F ^ V = F e F ^ F = F
Distributiva, V(p ^ q) = V(p) ^ V(q)

Exemplos:
Ex1.
p: A neve é branca (V)
q: 2 < 5 (V)
p ^ q : A neve é branca e 2 < 5 (V)
V(p ^q) = V(p) ^ V(q) = V ^ V = V

Ex2.
p: A dignidade da pessoa humana é um dos fundamentos da
República. (V)
q: A violência entre os jovens é desvinculada das drogas. (F)

Profª.: Lucélia Sales Tabela – Verdade 7

ETC – TI Lógica e Linguagem de Programação

p ^ q : A dignidade da pessoa humana é um dos fundamentos da

República e a violência entre os jovens é desvinculada das drogas (F).
V(p ^q) = V(p) ^ V(q) = V ^ F = F.

3. Disjunção ( V ) – chama-se disjunção de duas ou mais proposições

p e q a proposição representada por “p e q”, cujo 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 são ambas falsas.
Então, a notação que representa a operação de conjunção entre duas
proposições “p e q” é indicada por “p v q”, lê-se: “p ou q”.
PQpvq
p q pvq
V V V
V F V
F V V
F F F

Então, V v V = V, V v F = V, F v V =V e F v F = F.
Distributiva, V(p v q) = V(p) v V(q)

Exemplos:
Ex1.
p: A neve é branca (V)
q: 2 < 5 (V)
P v q : A neve é branca ou 2 < 5 (V)
V(p v q) = V(p) v V(q) = V v V = V
Ex2.
p: A dignidade da pessoa humana é um dos fundamentos da
República. (V)
q: A violência entre os jovens é desvinculada das drogas. (F)
P v q : A dignidade da pessoa humana é um dos fundamentos da
República ou a violência entre os jovens é desvinculada das drogas
(F).
V(p v q) = V(p) v V(q) = V v F = V.

4. Condicional ( → ) – chama-se proposição condicional ou apenas

condicional uma proposição representada por representada por “se p
então q”, cujo valor lógico é a Falsidade(F) no caso em que p é
Profª.: Lucélia Sales Tabela – Verdade 8
ETC – TI Lógica e Linguagem de Programação

verdadeira e q é falsa, e a Verdade (V) nos demais casos. Então, a

notação que representa a operação condicional entre duas
proposições “p e q” é indicada por “p → q”, lê-se: “p é condição
suficiente para q ou q é condição necessária para p”. Chama-se p de
antecedente e q de consequente.
p q p→q
V V V
V F F
F V V
F F V

Então, V → V = V, V → F = F, F → V = V e F → F = V.
Distributiva, V(p → q) = V(p) → V(q)

Exemplos:
Ex1.
p: O mês de maio tem 31 dias (V)
q: A Terra é plana (F)
p → q: Se o mês de maio tem 31 dias, então a Terra é plana (F)
V(p → q) = V(p) → V(q) = V → F = F
p → q, não afirma que o consequente se deduz ou é consequência
do antecedente p.

5. Bicondicional ( ↔ ) – chama-se proposição condicional ou apenas

bicondicional uma proposição representada por “p se e somente se
q”, cujo valor lógico é a Verdade(V) quando p e q são ambas
verdadeiras ou ambas falsas, e a Falsidade(F) nos demais casos.
Então, a notação que representa a operação bicondicional entre duas
proposições “p e q” é indicada por “p ↔ q”, lê-se: “p é condição
necessária e suficiente para q; ou q é condição necessária e
suficiente para p”. q
p q p↔q
V V V
V F F
F V F
F F V

Profª.: Lucélia Sales Tabela – Verdade 9

ETC – TI Lógica e Linguagem de Programação

Então, V ↔ V = V, V ↔ F = F, F ↔ V = F e F ↔ F = V.
Distributiva, V(p ↔ q) = V(p) ↔ V(q)

Exemplos:
Ex1.
p: Roma fica na Europa (V)
q: A Terra não é plana (V)
p ↔ q:Roma fica na Europa se e somente se a Terra não é plana (V)
V(p ↔ q) = V(p) ↔ V(q) = V ↔ V = V

7. Tautologia, Contradição e Contingência

1. Tautologia - toda proposição composta cuja ultima coluna da sua

tabela verdade encerra somente co a letra V.

Exemplo:
A proposição “~(p ^ ~p)” (Principio da não contradição) é tautológica,
conforme se vê pela sua tabela – verdade.

p ~p p ^ ~p ~(p ^ ~p)
V F F V
F V F V

2. Contradição - toda proposição composta cuja ultima coluna da sua

tabela verdade encerra somente co a letra F.

Exemplo:
A proposição “p ^ ~p” é contradição, conforme se vê pela sua tabela
– verdade.

p ~p p ^ ~p
V F F
F V F

Profª.: Lucélia Sales Tabela – Verdade 10

ETC – TI Lógica e Linguagem de Programação

3. Contingência - toda proposição composta cuja ultima coluna da

sua tabela verdade figuram com as letras V e F cada uma pelo
menos uma vez.

Exemplo:
A proposição “p → ~p” é contingência, conforme se vê pela sua
tabela – verdade.

p ~p p → ~p
V F F
F V V

8. Construção Tabela - Verdade

p q ~p p^q pvq p→q p↔q

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

Profª.: Lucélia Sales Tabela – Verdade 11