LÓGICA PROPOSICIONAL

TABELAS-VERDADE
Profª. Bárbara Nunes
 Contents of this template
Here’s what you’ll find in this Slidesgo template:
1. A slide structure based on a multi-purpose template, which you can easily adapt to your needs. For
more info on how to edit the template, please visit Slidesgo School or read our FAQs.
2. An assortment of graphic resources that are suitable for use in the presentation can be found in the
alternative resources slide.
3. A thanks slide, which you must keep so that proper credits for our design are given.
4. A resources slide, where you’ll find links to all the elements used in the template.
5. Instructions for use.
6. Final slides with:
7. The fonts and colors used in the template.
8. A selection of illustrations. You can also customize and animate them as you wish with the
online editor. Visit Storyset to find more.
9. More infographic resources, whose size and color can be edited.
10. Sets of customizable icons of the following themes: general, business, avatar, creative
process, education, help & support, medical, nature, performing arts, SEO & marketing, and
teamwork.

You can delete this slide when you’re done editing the presentation.
 São eles que
caracterizam uma
proposição composta ou
molécula, pois sua
presença tem a função de
unir e ligar as proposições
simples ou átomos para
comporem novas
proposições maiores
chamadas de compostas.
CONECTIVOS LÓGICOS
A utilização dos conceitos e
regras dos conectivos lógicos
estão basicamente ligados a
ideia de se verificar seu
valor verdade.
 CONECTIVOS LÓGICOS

SE… SE E
E OU NÃO ENTÃO SOMENTE
SE

BI-
CONJUNÇÃO DISJUNÇÃO NEGAÇÃO CONDICIONAL
CONDICIONAL
SÍMBOLO: ⟷
SÍMBOLO: ⟶ SÍMBOLO: ↔
SÍMBOLO: ⋁ Transmite a
SÍMBOLO: ∧
Transmite a ideia de
Transmite a SÍMBOLO: ~ EXCLUSIVIDADE,
Expressa a ideia ideia de
ideia de CONDIÇÃO
de ADIÇÃO CONDIÇÃO, NECESSÁRIA.
ALTERNÂNCIA.
IMPLICAÇÃO.
Conectivos Lógicos
VALORES LÓGICOS DE UMA
PROPOSIÇÃO

O valor lógico de uma proposição é

V se a proposição for verdadeira
e F se ela for falsa.
EXEMPLOS – VALOR LÓGICO
Conectivos Lógicos
Negação (~)
 Conectivos Lógicos
Negação de proposições
Equivalências Lógicas compostas (~)
~ 𝑝 ∧ 𝑞 = ~𝑝 ∨ ~𝑞
Bárbara é professora e Bárbara tem 15 anos.

~ 𝑝 ∨ 𝑞 = ~𝑝 ∧ ~𝑞
1 + 1 = 2 ou 1 é par.
 Conectivos Lógicos
Negação de proposições
Equivalências Lógicas compostas (~)
~ 𝑝 → 𝑞 = 𝑝 ∧ ~𝑞
Se Bárbara vai à praia então Bárbara se molha.

𝑝 → 𝑞 = ~𝑞 → ~𝑝 (contra-positiva)
Se 2 é par então 2+1 é ímpar.
 Conectivos Lógicos
Negação de proposições
Equivalências Lógicas compostas (~)
~ 𝑝 ↔𝑞 =𝑝∨𝑞
Karol é alagoana se e somente se 1 não é primo.

~ 𝑝 ↔ 𝑞 = (𝑝 ∧ ~𝑞) ∨ (𝑞 ∧ ~𝑝)
Karol é alagoana se e somente se 1 não é primo.
 Conectivos Lógicos
CONJUNÇÃO (e)
Ex : 1 não é primo e 2 é primo.
1

Ex : O sangue é vermelho e o céu é amarelo.

2

Ex : Paris é a capital do Brasil e 2 > 1.

3

Ex : No verão cai neve e faz frio.

4
 Conectivos Lógicos
DISJUNÇÃO Inclusiva (ou)

Ex : 1 não é primo ou 2 é primo.

1

Ex : O sangue é vermelho ou o céu é amarelo.

2

Ex : Paris é a capital do Brasil ou 2 > 1.

3

Ex : No verão cai neve ou faz frio.

4
 Conectivos Lógicos
DISJUNÇÃO Exclusiva
Só se pode escolher uma das opções –
só faz sentido se uma das proposições é (ou ou) –
verdadeira. As duas não pode.

Ex : Ou 1 não é primo ou 2 é primo.

1

Ex : Ou o sangue é vermelho ou o céu é amarelo.

2

Ex : Ou Paris é a capital do Brasil ou 2 > 1.

3

Ex : Ou no verão cai neve ou faz frio.

4
 Conectivos Lógicos
CONDIÇÃO (Se...Então)

Ex : Se 1 não é primo então 2 é primo.

1

Ex : Se o sangue é vermelho então o céu é amarelo.

2

Ex : Se Paris é a capital do Brasil então 2 > 1.

3

Ex : Se no verão cai neve então faz frio.

4
 Conectivos Lógicos
Bi-CONDIÇÃO
(Se e somente se)
Ex1: 1 não é primo se e somente se 2 é primo.

Ex2: O sangue é vermelho se e somente o céu é amarelo.

Ex3: Paris é a capital do Brasil se e somente se 2 > 1.

Ex4: No verão cai neve se e somente se faz frio.

Exercício1

Considere as proposições a seguir.

p: Ricardo é arquiteto;
q: Fernando é acreano.

Determine a representação da proposição:

“Ricardo não é arquiteto e Fernando é acreano”.

Exercício2
Exercício3
Exercício4
Exercício5
Exercício5
Julgue cada uma das proposições simples e, em seguida, julgar a
proposição composta conectada com o sinal de operação lógica:

a) p: Pitágoras era grego

q: Descartes era francês

p Ʌ q: Pitágoras era grego e Descartes era francês.

 Exercício5

b) p: 3 + 4 = 9
q: 20 = 1
p Ʌ q: 3 + 4 = 9 e 20 = 1

c) p: Manaus é a capital de Alagoas.

q: 𝜋 é um número irracional.
p V q : Manaus é a capital de Alagoas ou 𝜋 é um número irracional.
 Exercício5
d) p: O mês de dezembro tem 31 dias.
q: Todo número primo é ímpar.
p → q: Se o mês de dezembro tem 31 dias então todo número primo é ímpar.

e) p: No triângulo podem-se traçar três diagonais.

q: 91 é divisível por 3
p ↔ q: No triângulo pode-se traçar três diagonais se e somente se 91 é divisível por 3.
Investigando Circuitos
Elétricos
Ele representa um circuito elétrico, onde o
interruptor está ligado, isso permite que a
corrente elétrica circule da bateria até a
lâmpada, fazendo com que ela se acenda.
LABORATÓRIO VIRTUAL
CLIQUE AQUI.
ATIVIDADE INVESTIGATIVA
Impressa
Conjunção e
Disjunção ou
TABELAS-VERDADE
 TABELA-VERDADE
Tabela verdade é um dispositivo utilizado no estudo da lógica matemática.
Com o uso desta tabela é possível definir o valor lógico de uma proposição,
isto é, saber quando uma sentença é verdadeira ou falsa.

Utiliza-se a tabela verdade em proposições compostas, ou seja, sentenças

formadas por proposições simples, sendo que o resultado do valor lógico
depende apenas do valor de cada proposição.

Para combinar proposições simples e formar proposições compostas são

utilizados conectivos lógicos.

Estes conectivos representam operações lógicas.

“Tabela-verdade ou tabela de
verdade é um tipo de tabela
matemática usada em lógica
para determinar se uma
expressão é verdadeira e
válida.”
 Conectivos Lógicos
CONJUNÇÃO (e)
Ex : 1 não é primo e 2 é primo.
1

Ex : O sangue é vermelho e o céu é amarelo.

2

Ex : Paris é a capital do Brasil e 2 > 1.

3

Ex : No verão cai neve e faz frio.

4
 Conectivos Lógicos
DISJUNÇÃO Inclusiva (ou)

Ex : 1 não é primo ou 2 é primo.

1

Ex : O sangue é vermelho ou o céu é amarelo.

2

Ex : Paris é a capital do Brasil ou 2 > 1.

3

Ex : No verão cai neve ou faz frio.

4
 Conectivos Lógicos
DISJUNÇÃO Exclusiva
Só se pode escolher uma das opções –
só faz sentido se uma das proposições é (ou ou) –
verdadeira. As duas não pode.

Ex : Ou 1 não é primo ou 2 é primo.

1

Ex : Ou o sangue é vermelho ou o céu é amarelo.

2

Ex : Ou Paris é a capital do Brasil ou 2 > 1.

3

Ex : Ou no verão cai neve ou faz frio.

4
 Conectivos Lógicos
CONDIÇÃO (Se...Então)

Ex : Se 1 não é primo então 2 é primo.

1

Ex : Se o sangue é vermelho então o céu é amarelo.

2

Ex : Se Paris é a capital do Brasil então 2 > 1.

3

Ex : Se no verão cai neve então faz frio.

4
 Conectivos Lógicos
Bi-CONDIÇÃO
(Se e somente se)
Ex1: 1 não é primo se e somente se 2 é primo.

Ex2: O sangue é vermelho se e somente o céu é amarelo.

Ex3: Paris é a capital do Brasil se e somente se 2 > 1.

Ex4: No verão cai neve se e somente se faz frio.

 COMO MONTAR UMA TABELA VERDADE
1º 2º 3º 4º EXEMPLO
Na tabela verdade são
O número de A tabela Depois de
colocados os valores preencher a tabela
lógicos possíveis
(verdadeiro ou falso)
linhas da tabela
dependerá da
verdade de uma
proposição
com os valores A tabela verdade da
lógicos das
para cada uma das
proposições simples
quantidade de formada proposições, proposição "x é um
sentenças que por n proposiçõ devemos adicionar
que formam a
proposição composta compõem a es simples terá colunas relativas as número real e
proposições com os
maior que 5 e
e a combinação
destes. proposição. 2n linhas. conectivos.

menor que 10" terá

8 linhas, pois a
sentença é formada
por 3 proposições
(n = 3).
EXEMPLO
Sobre as tabelas de verdade dos conectivos de disjunção (inclusiva),
conjunção e implicação (material), assinale a alternativa correta.

a) As conjunções só são falsas quando ambos os conjuntos são falsos.

b) Não existe implicação falsa com antecedente verdadeiro.
c) As disjunções são falsas quando algum dos disjuntos é falso.
d) Só há um caso em que as implicações são verdadeiras.
e) As implicações são verdadeiras quando o antecedente é falso.
EXEMPLO
Sobre as tabelas de verdade dos conectivos de disjunção (inclusiva),
conjunção e implicação (material), assinale a alternativa correta.

a) As conjunções só são falsas quando ambos os conjuntos são falsos.

b) Não existe implicação falsa com antecedente verdadeiro.
c) As disjunções são falsas quando algum dos disjuntos é falso.
d) Só há um caso em que as implicações são verdadeiras.
e) As implicações são verdadeiras quando o antecedente é falso.
EXEMPLO1
Na construção de tabelas-verdades, o número de linhas é determinado pelo
número de proposições simples (átomos). Dado “x” e “y” proposições compostas,
indique o número de linhas correspondentes que uma tabela deverá ter em sua
construção, se tivermos na molécula “x” 5 átomos e na molécula “y” 7 átomos.

Obs: Use a fórmula, desenvolva os cálculos e indique o número de linhas da

tabela.
EXEMPLO2

Na tabela-verdade abaixo, “L” e “M” são proposições simples ou

átomos. Para a seguinte proposição composta t: [~(L  M)],
preencha a tabela verdade abaixo.
EXEMPLO3
EXEMPLO4
EXEMPLO5
EXEMPLO6 Na tabela, são apresentadas as colunas iniciais da tabela
verdade correspondentes às proposições P, Q e R.
EXEMPLO7 Apresentada as colunas iniciais da tabela verdade,
determine os valores lógicos de x, y e z.
EXEMPLO8
EXEMPLO9
EXEMPLO10
EXEMPLO11
EXEMPLO12
EXEMPLO13
EXERCÍCIO1
Independentemente dos valores lógicos atribuídos às proposições A e B, verifique os
valores correspondentes para a proposição [(A→B) ∨ (~B)]→(~A) em sua última
coluna.
EXERCÍCIO2
Sejam “P” e “Q”, proposições quaisquer, determine os valores verdade na ordem em
que aparecem das células 1, 2, 3, 4, 5 e 6 da tabela abaixo para a seguinte
proposição composta
(P → Q) ↔ (~P ∨ Q).
EXERCÍCIO3
Dadas as proposições lógicas simples: A, B, C, e D. Construir a
tabela verdade da proposições compostas abaixo:

a) (~ B ↔ C)

b) (~ (~ A) → D)

c) ~[~(~ A v B) → (C ^ D)]