More than Just Lines on a Map: Best Practices for U.S Bike Routes
Proposições Lógicas GEFAZ
1. Aula Proposições para vídeo Aulas visite WWW.raciociniomaislogico.com.br
(GEFAZ/MG-2005) A afirmação “Não é verdade que, se Pedro está em Roma, então Paulo
está em Paris” é logicamente equivalente à afirmação:
a) É verdade que ‘Pedro está em Roma e Paulo está em Paris’.
b) Não é verdade que ‘Pedro está em Roma ou Paulo não está em Paris’.
c) Não é verdade que ‘Pedro não está em Roma ou Paulo não está em Paris’.
d) Não é verdade que “Pedro não está em Roma ou Paulo está em Paris’.
e) É verdade que ‘Pedro está em Roma ou Paulo está em Paris’.
Proposições
São sentenças declaradas por meio de palavras ou símbolos.
Deverá ser VERDADEIRA ou FALSA - Valor lógico.
Exemplos:
O Brasil fica na America do Sul.
São Paulo tem fronteira com Minas Gerais.
A capital de Pernambuco é Porto Alegre.
Manuel é mais alto que Pedro.
5>3
7<2
não são proposições:
feliz aniversario!
Até breve!
este livro é muito bom?
boa sorte na prova
As proposições DEVEM ser sentenças DECLARATIVAS
que tenham um valor lógico - FALSO ou VERDADEIRO
as proposições são representadas por letras minúsculas (p, q, r, s etc)
2. Aula Proposições para vídeo Aulas visite WWW.raciociniomaislogico.com.br
exemplos de proposições
p: Pedro é médico.
q: 5 < 8
r: Lisboa é a capital do Brasil.
VL(p)=V VL(q)=V VL(r)= F
PRINCIPIOS
Princípio da identidade
Uma proposição verdadeira é verdadeira; uma proposição falsa é falsa.
Princípio da Não-
Contradição
Nenhuma proposição poderá ser verdadeira e falsa ao mesmo tempo.
Princípio do
Terceiro Excluído
Uma proposição ou será verdadeira, ou será falsa: não há outra possibilidade.
Proposições podem ser ditas simples ou compostas.
Proposições simples
s: Carla foi ao mercado
p: Júlio é engenheiro.
q: 5 > 9
t: Carla NÃO foi ao mercado ~ s
u: Júlio NÃO é engenheiro. ~ p
Proposições compostas
Carla foi ao mercado E Júlio é engenheiro. s∧p
Carla foi ao mercado OU Júlio é engenheiro. sVp
SE Júlio é engenheiro, ENTÃO Carla foi ao mercado. s→p
Júlio é engenheiro SE E SOMENTE SE Carla foi ao mercado. s ↔p
OU Júlio NÃO é engenheiro OU Carla foi ao mercado. ¬s v p
3. Aula Proposições para vídeo Aulas visite WWW.raciociniomaislogico.com.br
se for composta é formada por conetivos
os conectivos são nome SIMBOLO
e CONJUNÇÃO ∧
ou DISJUNÇÃO V
se ... Entao... CONDICIONAL →
se e somente se BICONDICIONAL ↔
ou .... Ou DISJUNÇÃO EXCLUSIVA v
NÃO Negação ~ ou ¬
Proposições simples
s: Carla foi ao mercado
p: Júlio é engenheiro.
CONJUNÇÃO Carla foi ao mercado E Júlio é engenheiro. s
DISJUNÇÃO Carla foi ao mercado OU Júlio é engenheiro. s
DISJUNÇÃO Carla foi ao mercado OU Júlio é engenheiro. s
CONDICIONAL SE Júlio é engenheiro, ENTÃO Carla foi ao mercado. s
ANTECEDENTE CONSEQUENTE
condição condição
suficiente necessaria
4. Aula Proposições para vídeo Aulas visite WWW.raciociniomaislogico.com.br
BICONDICIONAL Júlio é engenheiro SE E SOMENTE SE Carla foi ao mercado. s
DISJUNÇÃO EXCLUSIVA OU Júlio é engenheiro OU Carla foi ao mercado.
NEGAÇÃO t: Carla NÃO foi ao mercado s
u: Júlio NÃO é engenheiro. p
CONJUNÇÃO
Paulo foi ao mercado E José é engenheiro
P: Paulo foi ao mercado
q: José é engenheiro.
p∧q
TABELA VERDADE
p∧q
p q p∧q
V V V
V F F
F V F
F F F
DISJUNÇÃO
Paulo foi ao mercado OU José é engenheiro
P: Paulo foi ao mercado
q: José é engenheiro.
p∨q
p q p∨q
V V V
V F V
F V V
F F F
5. Aula Proposições para vídeo Aulas visite WWW.raciociniomaislogico.com.br
CONDICIONAL
S N
SE nasci em São Paulo ENTÃO sou brasileiro
SE Paulo foi ao mercado ENTÃO José é engenheiro
p: Paulo foi ao
Mercado condição suficiente
q: José é engenheiro. condição necessaria
p→q
p q p→q
V V V
V F F
F V V
F F V
BICONDICIONAL
Paulo foi ao mercado SE E SOMENTE SE José é engenheiro
SE Paulo foi ao mercado ENTÃO José é engenheiro
SE José é engenheiro ENTÃO Paulo foi ao mercado
p↔q = (p → q) e (q → p)
p q p↔q
V V V
V F F
F V F
F F V
DISJUNÇÃO EXCLUSIVA
OU Paulo foi ao mercado OU José é engenheiro
p: Paulo foi ao mercado
q: José é engenheiro.
6. Aula Proposições para vídeo Aulas visite WWW.raciociniomaislogico.com.br
pVq
p q pvq
V V F
V F V
F V V
F F F
TABELA VERDADE GERAL
CONJUNÇÃO DISJUNÇÃO CONDICIONAL BICONDICIONAL DISJUNÇÃO
SE E EXCLUSIVA
E OU SE ENTAO SOMENTE SE
p q p∧q p∨q p→q p↔q pvq
V V V V V V F
V F F V F F V
F V F V V F V
F F F F V V F