O que lgica a cincia do raciocnio dedutivo; Estuda a relao de consequncia dedutiva; Pode ser considerada como o estudo da razo ou o razo o estudo do raciocnio raciocnio;; Ensina a colocar ordem no pensamento.
Sistemas dicotmicos Proposies: So sentenas declarativas, que satisfazem trs princpios fundamentais: Princpio da identidade: se qualquer proposio verdadeira, ento, ela verdadeira; Princpio do terceiro excludo: uma proposio s pode ser verdadeira ou falsa; Princpio da no contradio: uma proposio no pode ser ao mesmo tempo verdadeira e falsa.
Continuao de proposies Uma proposio assumir dois valores lgicos: V (verdadeiro) e F (falso); Tambm encontrados como 0 (significa F) e 1 (significa V). As proposies simples so indicadas pelas letras minsculas latinas p, q, r, s, t, u, v, x etc.; por exemplo: p: Jpiter um planeta; q: A somatria dos ngulos internos de qualquer tringulo 180 180.
Proposies lgicas Expresses do tipo 5 + 7;
x + 8 = 23
no so proposies lgicas!
Exemplos de proposies p: o estado do Paran faz divisa com o Equador (F) ou (0); q: So Paulo uma metrpole (V) ou (1); r: todas todas as rvores so frutferas frutferas (F) ou (0);
A negao A negao da proposio p ser p, que se l no p. p: dois pontos determinam uma reta; p: dois pontos no determinam uma reta . reta. Duas negaes equivalem a uma afirmao. Desta forma, (p) = p.
Operaes lgicas sobre
proposio As proposies lgicas simples, por exemplo, p e q, podem ser combinadas atravs dos operadores lgicos , , e , e passarem a formar proposies compostas, do tipo p q, p q, p q e p q. q conjuno: p q (p e q); disjuno: p q (p ou q); condicional: p q (se p, ento q); bicondicional: p q ((p p se, se e somente se q).
Construo da tabela-verdade Conhecendo-se os valores lgicos de duas proposies simples p e q, com o uso da tabela-verdade possvel determinar os valores lgicos das proposies compostas decorrentes; O nmero de linhas da tabela verdade ser igual a 2n = 2 (n de proposies) ; A tabela verdade de ~(P ^ ~P) = P (p,q) possuir 2n = 2 2 = 4 linhas, pelo motivo de que existem apenas duas proposies (p e q).
Conjuno p
p^q
Disjuno p
pvq
Condicional p
pq
Bicondicional p
pq
Interatividade Dadas as proposies A = O sol quente B = O sol amarelo A frase: Se o sol no quente ou no amarelo amarelo, ento o sol no amarelo Pode ser simbolicamente representado por: a) ( A ^ B) A. b) (A ^ B) B. c) A ^ (B B). d) ( A ^ B B). e) NDA.
Exemplo de p q Situao hipottica: um homem chega tarde em casa e a sua esposa, muito brava, pergunta o que houve?. O homem responde: trabalhei at tarde, o carro no quis pegar e tive que chamar o socorro mecnico do seguro. seguro Sendo: p: trabalhei at tarde; q: carro no quis pegar e tive que chamar o socorro mecnico do seguro. g
Resposta de p ^ q
Exemplo de p q Situao hipottica: uma mulher que est fazendo compras em um supermercado chega aos caixas para pagar pelas suas mercadorias e percebe que o nico caixa livre o que tem a seguinte informao: caixa reservado para gestantes e deficientes fsicos. Sendo: p: reservado para gestante; q q: reservado para p deficientes fsicos. Quando essa mulher poder passar suas compras por esse caixa?
Resposta de p v q p
pvq
Explicao
Situao 1
A mulher gestante (p verdadeiro) e deficiente (q verdadeiro)
Situao 2
A mulher g gestante (p verdadeiro) e no deficiente (q falso)
Situao 3
A mulher no gestante (p falso) e deficiente (q verdadeiro)
Situao 4
A mulher no gestante (p falso) e no deficiente (q falso)
Exemplo de p q Situao hipottica: uma me diz ao seu filho: se fizer sol amanh, iremos ao parque do Ibirapuera. p: fazer sol; q: ir ao parque do Ibirapuera.
Resposta p q p
pq
Explicao
Situao 1
No dia seguinte fez sol (p
verdadeiro) e a me levou o filho ao parque do Ibirapuera (q verdadeiro)
Situao 2
No dia seguinte fez sol (p
verdadeiro) mas a me no levou o filho ao parque do Ibirapuera (q falso)
Situao 3
No dia seguinte no fez sol
(p falso) e a me levou o filho ao parque do Ibirapuera (q verdadeiro)
Situao 4
No dia seguinte no fez sol
(p falso) e a me no levou o filho ao parque do Ibirapuera (q falso)
Exemplo de p q Situao hipottica: Marquinho no foi um aluno aplicado neste semestre, suas notas foram baixas e teve um nmero de faltas muito elevado em todas as disciplinas, em especial matemtica, na qual ele ser aprovado se no faltar s duas ltimas aulas e somente se conseguir tirar uma nota superior a 8, 5 na ltima prova. p: se no faltar nas duas ltimas aulas; q: e somente se conseguir tirar uma nota superior a 8,5 na ltima prova.
Resposta p q
Exemplo de resoluo de expresses lgicas (p v q) ^ (p ^ q)
pvq
p^q
(p v q) ^ (p ^ q)
Interatividade Dadas as expresses (p v q) ^ (p v q), qual o resultado final da tabela-verdade: a) V, V, F, V. b) F, V, V, F. c) F, F F, F F, F F. F d) V, V, F, F. e) V, V, V, V.
Tautologia Ocorre quando, para qualquer valor lgico das proposies simples, a proposio composta s sempre verdadeira.
s: (p q) (p q) p
p^q
pvq
(p q) (p q)
Outro exemplo p
pp V
Contradio uma proposio composta que sempre tem valor F.
p p / pp p
p p
p p
Contingncias So proposies compostas em que os valores lgicos independem dos valores das proposies simples.
pvq p
pvq
Interatividade Dada a tabela abaixo, qual a alternativa correta? p q q
p v q
pvq
(p v q) ^ (p v q)
V V
V F
F V
F F
a) Tautologia. b) Contradio. c) Contingncia. d) Negao. e) NDA.
Relaes de implicao e equivalncia Implicao lgica Dadas as proposies compostas p e q, diz-se que ocorre uma implicao lgica entre p e q quando a proposio condicional (p q) uma tautologia.
Implicao lgica Os smbolos e tm significados diferentes: O smbolo realiza uma operao entre proposies, dando origem a uma nova proposio p q cuja tabela-verdade pode conter tanto V quanto F. O smbolo entre duas proposies dadas indica uma relao, isto , que a proposio condicional associada uma tautologia.
Exemplo: Mostrar que (p ^ q) p
p V V F F
q p ^ q (p ( ^ q)) p V V V F F V V F V F F V
Portanto, como (p ^ q) p uma
tautologia, podemos afirmar que (p q) p
Outro exemplo: Mostrar que (p q) q p V V F F
q q p q (p ( q)) q V F V F F V F V V F V F F V V V
Portanto, (p q) no implicao lgica
de q, pois no uma tautologia, mas sim uma contingncia.
Equivalncia lgica Dadas as proposies compostas p e q, diz-se que ocorre uma equivalncia lgica entre p e q quando suas tabelasverdade forem idnticas. Notao: p q ou p q (l-se: p equivalente a q). Intuitivamente, proposies logicamente equivalentes transmitem a mesma informao, a mesma ideia, a partir das mesmas proposies componentes.
Exemplo: Mostrar que
(p q) ^ (q p) e p q so p V V F F
q p q q p (p q) ^ (q p) p q V V V V V F F V F F V V F F F F V V V V
So equivalentes, pois o resultado foi
igual para ambas proposies compostas e se aplicarmos a operao bicondicional entre as proposies aqui estudadas, veremos que o resultado ser uma tautologia. tautologia
Mais um exemplo: Mostrar que (p ^ q) (p v q)
p V V F F
q V F V F
A p^q V F F F
p F F V V
q F V F V
B B p v q (p v q) A B F V V V F V V F V V F V
(p ^ q) equivalncia lgica ( ou ) de (p v q), pois o resultado das duas proposies compostas so idnticas, alm de ser uma tautologia na operao bicondicional bicondicional.
Outro exemplo: Mostrar que (p v q) v (p q) (p v q) p V V F F
q V F V F
A B C pvq pq AvB CA V V V V V F V V V F V V F V V F
(p v q) v (p q) no equivalncia lgica ( ou ) de (p v q), pois o resultado das duas proposies compostas no so idnticas, alm de no ser uma tautologia na operao bicondicional. bi di i l
Interatividade Quais das proposies abaixo podemos afirmar que so equivalncias lgicas e tambm implicaes lgicas ao mesmo tempo? 1. (p ^ q) e q 2. (p ^ q) e (p v q) 3. (p v q) e (p q) 4. (p v q) e q a) 1 e 2. b) 1 e 3. c) 3 e 4. d) 2 e 3. e) NDA.
