PROPOSIÇÃO

Todo conjunto de palavras ou

símbolos que exprimem um
pensamento de sentidos completos
 A lógica matemática adota como regras fundamentais os dois seguintes
PRINCIPIOS

PRINCÍPIO DA NÃO PRINCIPIO DO TERCEIRO

CONTRADIÇÃO: EXCLUÍDO:
Uma proposição Toda a proposição ou é
não pode ser verdadeiro ou é falso
verdadeira e falsa isto é, verifica-se sempre
ao mesmo tempo um destes casos e
nunca um terceiro
 Valor lógico de uma proposição
 VERDADE - V (verdadeira) OU T (true)
 FALSIDADE - F (Falsa) ou F(false)

VALORES LÓGICOS DAS

PROPOSIÇÕES
 Proposição simples é aquela que não contém nenhuma outra
proposição como parte integrante de si mesmo

 p: João é estudioso
 q: 12 é múltiplo de 5
 r:  é um numero irracional

São designadas por letras minúsculas

PROPOSIÇÕES SIMPLES
 Proposição composta é aquela formada pela combinação de duas ou mais
proposições.

 O: José não é nervoso

 P: Carlos é inteligente e João é estudioso
 Q: 12 é múltiplo de 5 ou  é um numero irracional
 R: Se chover então João irá a praia
 S: Passarei se e somente se estudar

São designadas por letras MAIÚSCULAS

PROPOSIÇÕES COMPOSTAS
 CHAMAM-SE CONECTIVOS PALAVRAS QUE SE USAM PARA FORMAR
NOVAS PROPOSIÇÕES A PARTIR DE OUTRAS

OPERAÇÃO CONECTIVO ESTRUTURA LÓGICA EXEMPLO

Negação ~ OU ¬ Não p A bicicleta não é azul
Conjunção ^ Peq Thiago é médico e João é
Engenheiro
Disjunção v P ou q Thiago é médico ou João é
Inclusiva Engenheiro
Disjunção v Ou p ou q Ou Thiago é Médico ou João é
Exclusiva Engenheiro
Condicional → Se p então q Se Thiago é

CONECTIVOS
Médico então João é
Engenheiro
Bicondicional ↔ P se e somente se q Thiago é médico se e
somente se João é Médico
 O VALOR LÓGICO DE QUALQUER PROPOSIÇÃO COMPOSTA DEPENDE
UNICAMENTE DOS VALORES LOGICOS DAS PROPOSIÇÕES SIMPLES
COMPONENTES, FICANDO POR ELES UNIVOCAMENTE DETERMINADO

TABELA VERDADE : FIGURAM TODAS AS POSSIBILIDADES PARA A

PROPOSIÇÃO COMPOSTA CORRESPONDENTE

 NUMERO DE LINHAS : 2𝑁 , ONDE 𝑁 É O NUMERO DE PROPOSIÇÃO SIMPLES

TABELA - VERDADE
 p ~p

V F

F V

NEGAÇÃO
p q p  q

V V V

V F F

F V F

F F F

Observamos que a proposição

resultante da conjunção só será
verdadeira quando as proposições
CONJUNÇÃO simples individuais forem verdadeiras.
p q p q
V V V
V F V
F V V
F F F

Observamos que a proposição

resultante da disjunção inclusiva
só será falsa quando as proposições
simples individuais forem falsas.

DISJUNÇÃO INCLUSIVA
p q pv q
V V F
V F V
F V V
F F F

Observe a diferença entre a disjunção inclusiva

e exclusiva! Como o próprio nome diz
“exclusiva” a proposição resultante da disjunção
exclusiva só será “V” se uma das partes for “F” e
a outra “V” (independentemente da ordem)
DISJUNÇÃO EXCLUSIVA
 p q p→ q
V V V
V F F
F V V
F V V

Nesta estrutura vale destacar os termos suficiente e necessário

O que esta a esquerda da seta é sempre condição suficiente e o que está à direita é
sempre condição necessária. ( p → q).

Observe que a condicional só será falsa se a antecedente

(lado esquerdo da seta) for verdadeiro e a consequente
(lado direito) da seta for falso.

CONDICIONAL
p q p q
V V V
V F F
F V F
F V V

A proposição resultante da
bicondicional só será falsa se as
proposições individuais possuírem
valoração diferente.
BICONDICIONAL
 p : Gosto de viajar
q : Visitei o Chile
Escreva as proposições abaixo na linguagem usual

a) p ↔ q Gosto de viajar se e somente se visitei o Chile

b) ~q → ~p Se não visitei o Chile então não gosto de viajar
c) (p  ~q) → ~p Se, gosto de viajar e não visitei o Chile, então não gosto de viajar
d) q  p Visitei o Chile ou gosto de viajar
e) ~(p→q) Não é verdade, Se gosto de viajar então visitei o Chile

EXEMPLOS
Traduza cada sentença abaixo para forma simbólica ( Proposicional)

a) Se elefantes podem subir em arvores, então 3 é número par 𝑝 → 𝑞

b) π > 0 se e somente se não é verdade que π > 1 𝑟 ↔ 𝑠
c) Se as laranjas são amarelas, então os morangos são vermelhos 𝑙 → 𝑚
d) É falso que se Montreal é a capital do Canadá, então a próxima copa será realizada no Brasil ~(𝑐 → 𝑏)
e) Se é falso que Montreal é a capital do Canadá, então a próxima copa será realizada no Brasil ~𝑐 → 𝑏
 Sabendo-se que V(p) = V(q) = V e V(r) = V(s) = F , determine os valores lógicos das
seguintes proposições:

a) (p  (q  r)) → (p → (r  q))
(V  (V  F) ) → (V → (F  F) )
(V  V) → (V → F)
V→ F
F

Ordem de precedência para os conectivos é:

 (1) ~
 (2)  e 
 (3) →
 (4) 
b) (q → r)  (~q  r)
(V → F)  (~V  F)
F  (F  F)
FF
V

c) (~p  ~(r  s))

(~V  ~(F  F))
(~V  ~ F)
FV
V
 Construir a tabela verdade para a seguinte proposição:
P(p,q,r) = (p  ~r) → (q  ~r )

p q r ~r p  ~r q  ~r (p  ~r ) → (q  ~r )

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