raciocínio lógico parte 1
DESCRIPTION
Raciocínio Lógico básico com tabela verdade: Conjunção, Disjunção, Negação, Implicação e Bi-Implicação. Conceitos básicos de raciocínio lógico. Explicação clara e objetiva com exercícios resolvidos sobre o tema abordado.TRANSCRIPT
RACIOCÍNIO LÓGICO
PARTE 1PARTE 1
PROFESSOR: JOÃO ALESSANDRO
CAMPO MOURÃO
FEVEREIRO - 2012
1. CONCEITO DE PROPOSIÇÃO
PROPOSIÇÃO: sentenças declarativas
afirmativas (expressão de uma linguagem) da
qual tenha sentido afirmar que seja verdadeira ou
que seja falsa.
Exemplos:
• A lua é quadrada.
• A neve é branca.
• Matemática é uma ciência.
Não serão objeto de estudo as sentenças
interrogativas ou exclamativas.
2. OS SÍMBOLOS DA LINGUAGEM DO CÁLCULO PROPOSICIONAL:
2.1 VARIÁVEIS PROPOSICIONAIS: letras latinas
minúsculas p,q,r,s,.... para indicar as proposições
(fórmulas atômicas) .
Exemplos:
A lua é quadrada : p
A neve é branca : q
2.2 CONECTIVOS LÓGICOS:
As fórmulas atômicas podem ser combinadas entre si e, para representar tais combinações usaremos os conectivos lógicos :
não : ~
se somente e se:
então se...:
ou:
e :
2.2 CONECTIVOS LÓGICOS (Continuação):
p~ : quadrada. é não lua A
q p : branca. é neve a se somente e se quadrada é lua A
e)conseqüent o q e eantecedent o é (p
q p : branca. é neve a então quadrada é lua a Se
)disjunctos chamados são q e p (
q p : branca. é neve a ou quadrada é lua A
)conjunctos chamados são q e (p
q p : branca. é neve a e quadrada é lua A
:Exemplos
q : branca é neveA
p : quadrada é luaA
2.3 SÍMBOLOS AUXILIARES :
)(p~
branca. é neve a se somente e se quadrada é não luaA
~qp
p: quadrada. é não lua a então branca é neve a e quadrada é lua a Se
:Exemplos
.conectivos dos alcance"" o denotar para servem que parênteses , ) (
q : branca é neveA
p : quadrada é luaA
q
p
2.4 EXERCÍCIOS RÁPIDOS:Exercício 1 - Sendo p a proposição Paulo é paulista e q a proposição Ronaldo é carioca, traduzir para a linguagem corrente as seguintes proposições: a) ~p d) p → q b) p ^ q e) p → ~q c) p v q f) p ↔ q
RESOLUÇÃO:
a) Paulo não é paulista.
b) Paulo é paulista e Ronaldo é carioca.
c) Paulo é paulista ou Ronaldo é carioca.
d) Se Paulo é paulista então Ronaldo é carioca.
e) Se Paulo é paulista então Ronaldo não é carioca.
f) Paulo é paulista se, e somente se, Ronaldo é carioca.
Exercício 2 - Sendo p a proposição Roberto fala inglês e q a
proposição Ricardo fala italiano traduzir para a linguagem
simbólica as seguintes proposições:
a) Roberto fala inglês e Ricardo fala italiano.
b) Roberto não fala inglês ou Ricardo fala italiano.
c) Se Ricardo fala italiano então Roberto fala inglês.
d) Roberto não fala inglês e Ricardo não fala italiano.
RESOLUÇÃO:
a) p ^ q
b) (~p) v p
c) q → p
d) (~p) ^ (~q)
2.5 DEFINIÇÃO DE FÓRMULAS:
fórmulas. são também A)~ ( e
BA,BA,BA,BAentão fórmulas são B e A Se.
fórmula. uma é atômica fórmula Toda.
2
1
3. TABELAS VERDADE
A lógica clássica é governada por três princípios (entre outros) que podem ser formulados como segue: Princípio da Identidade: Todo objeto é idêntico a si mesmo. Princípio da Contradição: Dadas duas proposições contraditórias (uma é negação da outra), uma delas é falsa. Princípio do Terceiro Excluído: Dadas duas proposições contraditórias, uma delas é verdadeira.
3. TABELAS VERDADE (continuação)
Com base nesses princípios:
• As proposições simples são ou verdadeiras ou
falsas - sendo mutuamente exclusivos os dois
casos; daí dizer que a lógica clássica é bivalente.
• Para determinar o valor (verdade ou falsidade) das
proposições compostas (moleculares), conhecidos
os valores das proposições simples (atômicas) que
as compõem usaremos tabelas-verdade.
3.1 Negação:
~p é verdadeira (falsa) se e somente se p é falsa (verdadeira).
p ~p
V F
F V
3.2 Conjunção:
Tabela verdade da "conjunção" : a conjunção é verdadeira se e somente os conjunctos são verdadeiros.
p q p ^ q V V V V F F F V F F F F
3.3 Disjunção:
Tabela verdade da "disjunção" : a disjunção é falsa se, e somente, os disjunctos são falsos.
p q p v q V V V V F V F V V F F F
3.4 Implicação:
Tabela verdade da "implicação": a implicação é falsa se, e somente se, o antecedente(p) é verdadeiro e o conseqüente(q) é falso.
p q p → q V V V V F F F V V F F V
3.5 Bi-implicação:
Tabela verdade da "bi-implicação": a bi-implicação é verdadeira se, e somente se seus componentes são ou ambos verdadeiros ou ambos falsos.
p q p ↔ q V V V V F F F V F F F V
3.6 Número de linhas de uma tabela-verdade:
Cada proposição simples (atômica) tem dois valores
V ou F, que se excluem. Para n atômicas distintas,
há tantas possibilidades quantos são os arranjos
com repetição de 2 (V e F) elementos n a n. Segue-
se que o número de linhas da tabela verdade é 2n.
Assim, para duas proposições são 22 = 4 linhas; para 3 proposições são 23 = 8; etc.
3.7 Quadro Resumitivo:
Exemplo:Construir a tabela verdade da fórmula :
((p v q) → ~p )→(q ^ p)
p
V V F F
q
V F V F
(p v q)
V V V F
~p
F F V V
((p v q) → ~p )
F F V V
(q ^ p)
V FF F
((p v q) → ~p )→(q ^ p)
V V F F
Vamos fazer
Por partes!!!
LEMBRETEESTA APRESENTAÇÃO ESTÁ NO
NO BLOG DO PROFESSOR•SITE: WWW.WIX.COM/JOAOALESSANDRO/HOME