Documentos de Académico
Documentos de Profesional
Documentos de Cultura
com
Fonte (imagem): http://deboranogueira.com.br/wp-content/uploads/2014/09/desafio-escalada2.jpg
Contedo programtico
RACIOCNIO LGICO:
1. Problemas sobre Correlacionamento
2. Estruturas lgicas.
3. Proposies simples e compostas.
4. Conectivos e Operadores Lgicos.
5. Diagramas lgicos.
v Esposas Profisso
Maridos Lcia Patrcia Maria Engenharia Advocacia Medicina
Lus - - X - - X
Carlos - X - X - -
Paulo X - - - X -
Profisso
Engenharia -
Advocacia
Resp.: Lus, Maria, Medicina
- Carlos, Patrcia, Engenharia
Medicina - - X Paulo, Lcia, Advocacia
Problemas sobre Correlacionamento
3. Questo As trs filhas de Seu Anselmo, Ana, Regina e Hel vo para o colgio usando, cada uma, seu meio de
transporte preferido: bicicleta, nibus ou moto. Uma delas estuda no Colgio Santo Antnio, outra no So Joo e outra no
So Pedro. Seu Anselmo est confuso em relao ao meio de transporte usado e ao colgio em que cada filha estuda.
Lembra-se, entretanto, de alguns detalhes:
- Hel a filha que anda de bicicleta - A filha que anda de nibus no estuda no Colgio Santo Antnio
- Ana no estuda no Colgio So Joo; - Regina estuda no Colgio So Pedro.
Pretendendo ajudar Seu Anselmo, sua mulher junta essas informaes e afirma:
I) Regina vai de nibus para o Colgio So Pedro. II) Ana vai de moto. III) Hel estuda no Colgio Sto. Antnio.
Sto. Antnio
Resp.: Ana, moto, Sto. Antnio;
So Joo Regina, nibus, So Pedro;
So Pedro Hel, bicicleta, So Joo.
Fonte: https://upload.wikimedia.org/wikipedia/commons/thumb/c/ce/George_Boole_color.jpg/220px-George_Boole_color.jpg
2 assunto: Estruturas Lgicas
Lgica Matemtica considerada como
a cincia do raciocnio e da
demonstrao.
p: 7 um nmero par
A: Carlos inteligente, ento organizado
q: Maria eficiente
B: Joo baiano e Marcos torce pelo Flamengo.
Ana, vem tomar caf! Essa uma sentena imperativa, a ela
no atribumos valores, logo NO uma
proposio.
4 assunto: Conectivos e Operadores Lgicos
Conjuno Negao
Disjuno Condicional
Disjuno Exclusiva Bicondicional
4 assunto: Conectivos e Operadores Lgicos
Negao
~ No (nega Sent. Simples) No est chovendo ~p
Janana psicloga e Wesley no estuda
falso que; p ^ ~q
No verdade que p ^ q
(nega Sent. Composta)
p ^ q
Condicional
Se a Cincia transforma o mundo, ento
a educao transforma as pessoas
p q
Bicondicional
Kelyanne casa se, e somente se, Carlos
Eduardo arranjar um emprego
PROPOSIO NEGAO
falso que v chover amanh ~p
Vai chover amanh
No vai chover amanh ~q
falso que Pedro alto e magro ~(r ^ s)
Pedro alto e magro Pedro no alto ou no magro ~r v ~s
Pedro baixo ou gordo ~r v ~s
CONDICIONAL pq ~p v q ~q ~p
(Contraposio)
CONJUNO p^q ~p v ~q
DISJUNO pv q ~p ^ ~q
BICONDICIONAL pq (p q) ^ (q p)
PROP. SIMPLES p ~~p
DISJUNO
EXCLUSIVA pv q ~(p q) (p v q) ^ ~(p ^ q)
~(p ^ q) ~p v ~q
DE MORGAN
~(p v q) ~p ^ ~q
Exerccio
p: Carlos careca
q: Pedro estudante
a) ~p b) p ^ q c) p v q
d) q p e) p ~q f) p v ~q
g) ~p ^ ~q h) p ^ ~q p
Exerccio
Conjunto infinito: como o prprio nome diz nesse caso temos um nmero
infinito de elementos;
A B A= B
Diagramas Lgicos
Nenhum A B: Nesse
caso os dois conjuntos
no tem elementos
comuns.
Poeta
Exerccio
[ROCHA, 2006] 17. Questo Todas as amigas de Beto so, tambm, amigas
de Berenice, mas nenhuma amiga de Berenice amiga de Bruna. Todas as
amigas de Bia so tambm amigas de Bela, e algumas amigas de Bela so
tambm amigas de Bruna. Como nenhuma amiga de Bela amiga de Berenice,
e como Bela, Bia e Bruna no tm nenhuma amiga em comum, ento:
RACIOCNIO LGICO:
1. Estruturas lgicas.
2. Lgica de argumentao: analogias, inferncias,
dedues e concluses.
3. Lgica sentencial (ou proposicional).
3.1. Proposies simples e compostas.
3.2 Tabela verdade.
3.3. Equivalncias.
3.4. Leis de De Morgan.
3.5. Diagramas lgicos.
4. Lgica de primeira ordem.
5. Princpios de contagem e probabilidade.
6. Operaes com conjuntos;
Obrigada!!!
Contato:
jacfel@gmail.com