Documente Academic
Documente Profesional
Documente Cultură
1
Sumário.
2
Contradição: ........................................................................................................................ 11
Contingência (ou Indeterminadas):..................................................................................... 11
Proposições equivalentes ou Equivalência Lógica: ................................................................. 11
Proposições categóricas: ......................................................................................................... 12
Quantificadores Lógicos: ..................................................................................................... 12
Negações de Quantificadores: ............................................................................................ 12
3
x é um número ímpar.
Raciocínio Lógico Matemático {Se x for da forma x = 2k +1, é
verdadeira, caso contrário, é falsa}
Proposição
Conjunto de palavras, frase, que exprime
um sentido completo e que é possível
atribuir valor lógico: verdadeiro ou falso. Atenção! Não são proposições:
4
Princípios que regem o estudo de Princípio da Não-Contradição: Uma
proposições proposição não pode ser verdadeira e falsa
Princípio da Identidade: Uma proposição simultaneamente.
Verdadeira é Verdadeira, e uma proposição
Falsa é Falsa Operadores lógicos
Os operadores lógicos, conectivos, são
Princípio do Terceiro Excluído: Uma utilizados para conectar duas ou mais
proposição ou é verdadeira ou falsa não proposições simples, formando as
existindo uma terceira possibilidade. proposições compostas.
5
OBS: Para negar uma proposição, p: O presente de natal será uma meia
acrescentamos o não na proposição. q: O presente de natal será uma camiseta
6
então” e pode ser representado pelo OBS: Dada uma proposição condicional
símbolo “ ” . p q, temos que:
7
Resumindo:
Proposição
Verdadeira se... Falsa se...
composta
E (conjunção) p^q Ambas são V Pelo menos uma for F
OU (disjunção) pvq Pelo menos uma for V Ambas são F
OU... OU... pvq Apenas uma for V Ambas for V ou F
Se, então Quando não for falsa
pq p=Veq=F
(condicional) (nos outros três casos)
Se e somente se Possuírem valores
Pq Ambas V ou ambas F
(bicondicional) lógicos diferentes
8
Operações Lógicas Ex.: Ou eu compro um carro ou eu compro
Negações: Precisamos avaliar cada uma moto.
proposição de acordo com o conectivo p: Eu compro um carro.
lógico que está sendo empregado.
q: Eu compro uma moto.
Conjunção:
Segundo a lei de De Morgan, a negação de ~(p v q) = p ^ q ou ~p ^ ~q
uma conjunção (e) é a disjunção (ou) da Eu comprei um carro e uma moto.
negação de cada uma das proposições.
Eu não comprei um carro e nem comprei
Ou seja: ~ (p ^ q) ~p v ~q uma moto.
Ex.: Eu estudei e fui aprovado p q pvq ~ ( p v q)
p: Eu estudei q: Eu fui aprovado V V F V
V F V F
~(p^q) = Eu não estudei ou não fui F V V F
aprovado F F F V
p q p^q ~(p^q) ~p ~q ~p v ~q
V V V F F F F Condicional: (se, então)
V F F V F V V Para negar uma condicional, troca-se a
F V F V V F V afirmação por uma conjunção (e),
F F F V V V V mantendo a primeira proposição e
negando a segunda.
Disjunção: (ou) v Ou seja: ~ (p q) p ^ ~q
Segundo a lei de De Morgan, a negação de
uma disjunção (ou) é a conjunção (e) da Ex.: Se chover então eu levo o guarda-
negação de cada uma das proposições. chuva.
Ou seja: ~ (p v q) ~p ^ ~q p: Chover.
(Condição suficiente)
Ex.: O presente de natal será uma meia ou
uma camiseta. q: Levar guarda-chuva.
(Condição necessária)
p: O presente de natal será uma meia
q: O presente de natal será uma camiseta ~ (p q) = Choveu e eu não levei guarda-
chuva.
~(p v q) = O presente de natal não será
uma meia e não será uma camiseta. p q pq ~ (pq) p ~q p ^ ~q
V V V F V F F
p q pvq ~ ( p v q) ~p ~q ~p^~q V F F V V V V
V V V F F F F F V V F F F F
V F V F F V F F F V F F V F
F V V F V F F
F F F V V V V
OBS: Cuidado com a contrapositiva:
9
Ex: Se chover então eu levo o guarda- Bicondicional: (se e somente se)
chuva. Para negar uma bicondicional, usa-se a
disjunção exclusiva (ou... ou...)
Contrapositiva: ~q ~p
Ou seja: ~ (p q) p v q
Se não levo guarda-chuva então não
choveu. Ex.: Eu irei para a praia se e somente se eu
tirar férias no verão.
p q pq ~q ~p ~q ~p
V V V F F V p: Irei para a praia
V F F V F F
F V V F V V q: Tirar férias no verão.
F F V V V V ~ (p q): Ou irei para a praia ou vou tirar
férias no verão.
Mais exemplos:
p q pq ~ (p q) pvq
Se as aves voam, então a galinha voa. V V V F F
V F F V V
A estrutura lógica é dada por:
F V F V V
p→q F F V F F
As aves voam e a galinha não voa, Não gosto de praia nem de cinema.
ou ainda, É igual a:
As aves voam, mas a galinha não voa. Não gosto de praia e não gosto de cinema.
Resumindo:
10
Tautologia, contradição e o símbolo ≡ para representar a
equivalência.
contingência:
Exemplo:
Tautologia:
O valor lógico da proposição é sempre Se eu estudo, então 7 não é primo.
verdade, independente do valor lógico das
Verificar a equivalência:
proposições componentes.
p q ≡ p q p q ≡ ~(p ~q)
Ex. João estuda ou ele não estuda.
11
Proposições categóricas: Negações de Quantificadores:
Proposições categóricas são aquelas que Ex.: Todo homem é esperto.
contêm quantificadores lógicos (Algum, Negação:
todo, nenhum...) Algum homem não é esperto.
Resumindo:
12