n. 11 Argumentos e Regras de Inferência
|
|
- Valentina Frade Varejão
- 6 Há anos
- Visualizações:
Transcrição
1 n. 11 Argumentos e Regras de Inferência A lógica formal lida com um tipo particular de argumento, denominado de argumento dedutivo, que nos permite deduzir uma conclusão Q, com base num conjunto de proposições P 1, P 2, P 3,, P n as quais representam fórmulas inteiras bemformadas da lógica proposicional (e não apenas proposições simples). Cabe à lógica matemática instituir os métodos e técnicas que possibilitem avaliar a legitimidade de quaisquer que sejam os raciocínios que possam ser formalizados segundo os pressupostos do cálculo proposicional. Tais métodos e técnicas constituem a base da teoria da argumentação à qual é condição necessária e suficiente para se estabelecer as regras de validade na chamada Análise Inferencial. ARGUMENTO Chama-se argumento toda afirmação de que uma dada sequência finita de proposições P 1, P 2, P 3,, P n tem como consequência uma proposição final Q. As proposições P 1, P 2, P 3,, P n são chamadas de premissas do argumento, ou hipóteses e a proposição final Q chama-se conclusão do argumento. Um argumento de premissas P 1, P 2, P 3,, P n e de conclusão Q é indicado de forma simbólica por P 1, P 2, P 3,, P n Q
2 O símbolo é chamado traço de asserção, ele afirma que se a proposição Q, à sua direita, pode ser deduzido utilizando como premissas somente as proposições que estão à sua esquerda: P 1, P 2, P 3,, P n. Formas de leitura: i. P 1, P 2, P 3,, P n acarretam Q ii. Q decorre de P 1, P 2, P 3,, P n iii. Q se deduz de P 1, P 2, P 3,, P n iv. Q se infere de P 1, P 2, P 3,, P n Um argumento de premissas P 1, P 2, P 3,, P n e conclusão Q pode também ser indicado através da forma: P 1 P 2 P n Q Argumentos Válidos Def.: Um argumento P 1, P 2, P 3,, P n Q diz-se válido se e somente se, a conclusão Q é verdadeira, todas as vezes que as premissas forem verdadeiras.
3 Portanto, todo argumento válido goza das seguintes propriedades A verdade das premissas é incompatível com a falsidade da conclusão. Um argumento não válido é chamado de sofisma (ou falácia). A lógica só se preocupa com a validade dos argumentos e não com a verdade ou falsidade das premissas e das conclusões. CRITÉRIO DE VALIDADE DE UM ARGUMENTO Teorema: Um argumento P 1, P 2, P 3,, P n Q é válido se, e somente se a condicional (P 1 P 2 P 3 P n ) Q for tautológica. Dem. As premissas P 1, P 2, P 3,, P n são todas verdadeiras se e somente se a proposição (P 1 P 2 P 3 P n ) é verdadeira. Logo, o argumento P 1, P 2, P 3,, P n Q é válido se e somente se a conclusão Q é verdadeira todas as vezes que a proposição P 1, P 2, P 3,, P n é verdadeira, ou seja, se e somente se a proposição (P 1 P 2 P 3 P n ) implica logicamente a conclusão Q. (P 1 P 2 P 3 P n ) Q Ou, o que é equivalente a condicional ser tautológica. A validade de um argumento depende tão somente da relação existe entre as premissas e a conclusão. Logo, afirmar que
4 um dado argumento é válido significa afirmar que as premissas estão de tal modo relacionadas com a conclusão que não é possível ter a conclusão falsa se as premissas forem verdadeiras. Por exemplo, do argumento válido p p q segue-se a validade dos argumentos: (~p r) (p r s) (~p r) (~s r) (p r s) (~r s) Pois, ambos tem a mesma forma de p p q. Portanto, a validade ou não-validade de um argumento depende apenas de sua forma e não de seu conteúdo ou da verdade e falsidade das proposições que o integram. A validade de um argumento pode ser verificada, demonstrada ou testada através das tabelas-verdade ou com o uso das regras de inferência. CONDICIONAL ASSOCIADA A UM ARGUMENTO Dado um argumento qualquer P 1, P 2,, P n Q a este argumento corresponde a condicional (P 1 P 2 P n ) Q, cujo antecedente é a conjunção das premissas e cujo consequente é a conclusão denominada condicional associada ao argumento dado. Reciprocamente, a toda condicional corresponde um argumento cujas premissas são as diferentes proposições cuja conjunção formam o antecedente e cuja conclusão é o consequente. Exemplificando:
5 A condicional associada ao argumento: p ~q, p ~r, q ~s ~(r s) É (p ~q) ( p ~r) (q ~s) ~(r s) E, o argumento correspondente à condicional: (p q r) ~s (q r s) (s p ~q) É p q r, ~s, q r s s p ~q ARGUMENTOS VÁLIDOS FUNDAMENTAIS São argumentos válidos fundamentais ou básicos (de uso corrente): I. Adição AD i. p p q ii. p q p II. Simplificação SIMP i. p q p ii. p q q III. Conjunção CONJ i. p, q p q ii. p, q q p IV. Absorção ABS p q p (p q ) V. Modus ponens MP p q, p q VI. Modus tollens MT p q, ~q ~ p VII. Silogismo Disjuntivo SD i. p q, ~p q ii. p q, ~q p VIII. Silogismo Hipotético SH p q, q r p r IX. Dilema Construtivo DC p q, r s, p r q s
6 X. Dilema Destrutivo DD p q, r s, ~q ~s ~p ~r Exercício 1. Verifique a validade dos argumentos fundamentais pela condicional associada: a. p p q b. p q p c. p q p d. p q q e. p, q p q f. p, q q p g. p q p (p q ) h. p q, p q i. p q, ~q ~ p j. p q, ~p q k. p q, ~q p l. p q, q r p r m. p q, r s, p r q s n. p q, r s, ~q ~s ~p ~r Resolução: n. p q, r s, ~q ~s ~p ~r (p q) (r s) (~q ~s) (~p ~r) Lembrando que: P 1, P 2,, P n Q (P 1 P 2 P n ) Q P 1 : (p q) P 2 : (r s) P 3 : (~q ~s)
7 Q: (~p ~r) (p q) (r s) (~q ~s) (~p ~r) P 1 P 2 P 3 Q p q r s ~p ~q ~r ~s p q (r s) (~q ~s) (~p ~r) V V V V F F F F V V F F V V V F F F F V V F V F V V F V F F V F V V F V V V F F F F V V V V V V V F V V F V F F F V V F V F V F F V F V F F V F V F F V F V V F F V V V V F F F F V V V F V V V F V V V V F F F V V F V F V V F V F F V V F V V F V F V V F V F V V F V F V F F V F V V V V V V F F V V V V F F V V V V F F V F V V F V V F V V F F F V V V V F V V V V F F F F V V V V V V V V Resposta: O argumento p q, r s, ~q ~s ~p ~r é válido, pois ~p ~r (a conclusão) é verdadeira todas as vezes que as premissas p q, r s, ~q ~s são verdadeiras. REGRAS DE INFERÊNCIA Os argumentos vistos anteriormente são usados para fazer inferências, ou seja, executar passos de uma dedução ou demonstração, por isso são chamadas de regras de inferência. Usualmente costuma-se escrevê-los colocando as premissas sobre um traço horizontal e, em seguida, a conclusão sob o mesmo traço.
8 I. Regra da Adição AD i. p p q ii. p q p II. Regra da Simplificação SIMP i. p q p ii. p q q III. Regra da Conjunção CONJ i. p q p q ii. p q q p IV. Regra da Absorção ABS p q p (p q ) V. Regra Modus ponens MP p q p q Forma de leitura: Se p é verdade e p q é verdade então necessariamente q é verdade. VI. Regra Modus tollens MT p q ~q ~p Forma de leitura: Se ~q é verdade e p q é verdade então necessariamente ~p é verdade. VII. Regra do Silogismo Disjuntivo SD i. p q ~p q ii. p q ~q p
9 VIII. Regra do Silogismo Hipotético SH p q q r p r IX. Regra do Dilema Construtivo DC p q r s p r q s X. Regra do Dilema Destrutivo DD p q r s ~q ~s ~p ~r EXEMPLOS DO USO DAS REGRAS DE INFERÊNCIA I. REGRA DA ADIÇÃO (AD): Dada uma proposição p, dela podese deduzir a sua disjunção com qualquer outra proposição. i. ii. iii. iv. p p q ~p q ~p p q (r s) (p q) p q (p q) r
10 II. REGRA DA SIMPLIFICAÇÃO (SIMP): Da conjunção p q de duas proposições pode-se deduzir cada uma das seguintes proposições p ou q i. (p q) r (p q) ou (p q) r r ii. p ~q p ou p ~q ~q iii. x > 0 x 1 x 1 ou x > 0 x 1 x > 0 III. REGRA DA CONJUNÇÃO (CONJ): Permite deduzir de duas proposições dados p e q (premissas) a sua conjunção p q ou q p (conclusão) i. p q ~r (p q) ~r ii. p q q r (p q) (q r) iii. x < 5 x > 1 (x < 5) (x > 1) IV. REGRA DA ABSORÇÃO (ABS): A partir de uma condicional (premissa) permite deduzir como conclusão uma outra condicional com o mesmo antecedente p e cujo consequente
11 é a conjunção p q das duas proposições que integram a premissa, isto é: p p q i. x = 2 x < 3 x = 2 (x = 2 x < 3) ii. x A x A B x A (x A x A B) V. REGRA MODUS PONENS (MP): Permite deduzir q (conclusão) a partir de p q e p (premissas) i. ~p ~q ~p ~q ii. iii. p q r p q r x 0 x + y > 1 x 0 x + y > 1 VI. REGRA MODUS TOLENS (MT): Permite a partir das premissas p q (condicional) a ~q (negação do consequente) deduzir como conclusão ~p (negação do antecedente). i. p r s ~s ~(p r)
12 ii. p q r ~(q r) ~p iii. x 0 x = y x y x = 0 VII. REGRA DO SILOGISMO DISJUNTIVO (SD): Permite deduzir da disjunção p v q de duas proposições e da negação ~p (ou ~q ) de uma delas a outra proposição q (ou p ). i. (p q) r ~r p q ii. ~p ~q ~(~p) ~q iii. x = 0 x = 1 x 1 x = 0 VIII. REGRA DO SILOGISMO HIPOTÉTICO (SH): Dadas duas condicionais p q e q r (premissa) tais que o consequente da primeira coincide como antecedente da Segunda, esta regra permite deduzir uma terceira condicional p r ( conclusão) cujo antecedente e consequente são respectivamente o antecedente da premissa p q e o consequente da outra premissa.
13 i. ~p ~q ~q ~r ~p ~r ii. (p q) r r (q s) (p q) (q s) IX. REGRA DO DILEMA CONSTRUTIVO (DC): Nesta regra as premissas são duas condicionais e a disjunção dos seus antecedentes, a conclusão é a disjunção dos consequentes dos condicionais. i. (p q) ~r s t (p q) s ~r t ii. x < y x = 2 x y x > 2 x < y x y x = 2 x > 2 X. REGRA DO DILEMA DESTRUTIVO (DD): As premissas são duas condicionais e a disjunção da negação dos seus consequentes, a conclusão é a disjunção da negação dos antecedentes desta condicional. i. ~q r p ~s ~r ~~s ~~q ~p
14 ii. x + y = 7 x = 2 y x = 2 x = 3 x 2 x 3 x + y 7 y x 2 Exercícios:
15
16
17 Resoluções: 1) Construir a condicional associada a cada um dos seguintes argumentos: a) ~ p, ( ~ q p) q ~ p ( ~ q p) q b) p q ~ (p ~ q) (p q) ~ (p ~ q) c) p q, ~ q ( r s) r s (p q) (~ q ( r s)) r s d) x = y x = 5, x = 5 x < z x = y x < z (x = y x = 5) ( x = 5 x < z) (x = y x < z) 2) Construir o argumento (premissas e conclusão) correspondente a cada uma das seguintes condicionais: a) p ( q ~ p) q p, ( q ~ p) q b) (p q) (p ~q) s (p q), (p ~q) s c) ~ ( x < 0 y x) x 0 y = x ~ ( x < 0 y x) x 0 y = x 3) Indicar a Regra de Inferência que justifica a validade dos seguintes argumentos: a) p q (p q) ~ r adição b) ~ p (q r) ~p simplificação c) p q, q ~ r p ~r Silogismo Hipotético d) p (q r), p q r Modus Ponens e) (q r) ~ p, p ~ (q r) Modus Tollens f) p q, r ~s (p q) (r ~s) Conjunção g) (p q) ( ~ p r), ~ (~ p r) p q Silogismo Disjuntivo h) p q r p p (q r) Absorção i) x + y = z y + x = z, x + y = z y + x = z Modus Ponens j) x > y x = z, x z x y Modus Tollens k) x 0, x 1 x 0 x 1 Conjunção
18 l) 3 < 5 3 <5 3 < 2 Adição m) x < 0 x = 1, x 1 x< 0 Silogismo Disjuntivo n) x = 1 x < 3, x < 3 x + y< 5 x = 1 x + y < 5 Silogismo Hipotético o) n > 3 n < 4 n < 4 Simplificação 4) Usar a regra Modus Ponens para deduzir a conclusão de cada um dos seguintes pares de premissas: a) x = y y = z b) x + y = 0 x = 0 (x = y y = z ) x = z x + y = 0 x = z x = 0 c) ( x > y y > z ) x > z d) 2 > 1 3 > 1 x > y y > z 2 >1. x > z 3 > 1 e) x + 1 = 2 f) x + 0 = y x = y x + 1 = 2 y + 1 = 2 x + 0 = y. y + 1 = 2 x = y 5) Usar a regra Modus tollens para deduzir a conclusão de cada um dos seguintes pares de premissas: a) x 0 x + y y b) x = z x = 6 x + y = y x 6 x = 0 x z b) (p q) ~ (r s) d) x > 3 x > y (r s) x y ~ (p q) x 3 6) Usar a regra do Silogismo Disjuntivo para deduzir a conclusão de cada um dos seguintes pares de premissas: a) x + 8 = 12 x 4 b) y < b x + y < 10 x x + y 10 x 4 y < b b) s (r t) d) ~ p ~ q ~s. q ( r t ) ~ p 7) Usar a regra do Silogismo Hipotético para deduzir a conclusão de cada um dos seguintes pares de premissas:
19 a) p r v ~s b) x = 3 x < y r ~s t x < y x z p t x = 3 x z c) s t r q d) xy = 6 xy + 5= 11 r q ~s t xy + 5=11 y = 2 s t (~s t) xy = 6 y = 2 8) Usar a regra do Dilema Construtivo para deduzir a conclusão de cada um dos seguintes ternos de premissas: a) p r b) x = 5 x < y ~q ~s x = 5 x > 3 p ~q x < y x < 2. r ~ s x > 3 x < 2 c) y = 0 xy = 0 d) x = 2 x 2 = 4 y> 1 xy> 3 x = 2 y = 3 y = 0 y > 1 y = 3 y 2 = 9 xy = 0 xy > 3 x 2 = 4 y 2 = 9 9) Usar a regra do Dilema Destrutivo para deduzir a conclusão de cada um dos seguintes ternos de premissas: a) p q r b) p ~ r q q r s ~(~r q) ~ s ~ r ~ (r s) ~ q s. ~ (p q) ~ q ~ p q c) x < 3 x y d) y 9 y 18 x > 4 x < y x = 2 y = 9 x= y x y. x = 8 y = 18 x 3 x 4 x 2 x ± 8
20 10) Demonstrar a não validade dos seguintes argumentos pelo Método de atribuição de valores lógicos : a) p q, r s, p s q r b) (p q), ~ p ~q r s, s r r c) p q r, q p r, r p q, ~p q r d) p q r, s r, ~p q ~ p q e) (p q) r, r ~ s t, (s t) u, u p q f) p (q r), s (t v), q s t, ~ (q v) p r Os exercícios a seguir foram retirados de: Logica%20Matematica/Logica%20(Semanas%205%206%207%208).doc. Acesso em: 05 abr Verifique a validade de: (p q) (p q), (p q) p q P 1 : (p q) (p q) P 2 : ~ (p q) Q: (p q) Resposta: Q é dedutível de P 1 e P 2 pela Regra do silogismo disjuntivo. 2. Considere os argumentos a seguir e julgue sua validade. a. Se as uvas caem, então a raposa as come.
21 Se a raposa as come, então estão maduras. As uvas estão verdes ou caem. Logo, A raposa come as uvas se e somente se as uvas caem. p: as uvas caem q: a raposa as come r: estão maduras ~r: estão verdes P 1 : p q P 2 : q r P 3 : ~r p Q: q p 1. p q 2. q r 3. ~r p 4. r p (equivalência de 3) 5. q p (silogismo hipotético de 2 e 4) 6. (p q) (q p) (conjunção de 1 e 5) 7. p q (equivalência de 6) b. Carlos estuda ou não está cansado. Se Carlos estuda, então dorme tarde. Carlos não dorme tarde ou está cansado.
22 Logo, Carlos está cansado se e somente se estuda. p: Carlos estuda q: Carlos está cansado r: Carlos dorme tarde Tem-se: 1 p q 2 p r 3 r q 4 q p Equivalência 1 5 r q Equivalência 3 6 p q Silogismo Hipotético 2,5 7 (p q) (q p) Conjunção 4,6 8 p q Equivalência 7 3. Indicar a Regra de Inferência que justifica a validade dos seguintes argumentos: a) p q (p q) r b) p (q r) p c) p q, q r p r d) p (q r), p q r e) (q r) p, p (q r)
23 f) p q, r s (p q) (r s) g) (p q) ( p r), ( p r) p q h) x + y = z y + x = z, x + y = z y + x = z i) x 0, x 1 x 0 x 1 4. A seguir são apresentadas premissas e suas conclusões em linguagem natural. Responda a conclusão obtida através das premissas e qual regra de inferência assegura a verdade das conclusões, admitindo a verdade das premissas. a) Se estou no Rio, fico em Copacabana. Estou no rio. A regra aplicada é Modus Ponens e a conclusão é Fico em Copacabana. b) Se não ensaio ou não estudo, então não obtenho bons resultados. Não ensaio ou não estudo. c) Se são 18 horas, o banco fechou. São 18 horas. d) Se tenho dinheiro, vou ao teatro ou ao cinema. Não vou ao teatro ou ao cinema. e) Se trabalho, consigo dinheiro para divertir-me. Não consigo dinheiro para divertir-me. f) Se o átomo fosse indivisível, não teríamos descoberto os prótons e elétrons. Estes últimos foram descobertos. g) Se estudo, não me sobra tempo para ganhar dinheiro. Se não me sobrar tempo para ganhar dinheiro, terei de viver com a mesada.
24 h) Se resolver curar os livros indicados, não me sobra dinheiro para levar minha namorada ao cinema. Se não sobrar dinheiro para levar minha namorada ao cinema, ela ficará triste. 5. Usar as regras de MP e MT para deduzir as conclusões a partir das premissas: a) p q, q, p r r b) p (q s), (q s), p r, r t t c) r s t, (s t), r p, p r 6. Deduzir utilizando a regra de SH. a) p q, q r, r s p s b) (p q) (r s), t u,( r s) t p q u c) p r, s t, r u, u s p t 7. Deduzir a conclusão a partir das premissas utilizando MP e SH. a) p q, p, q r r b) p q r, r s, p q, s t t c) t p, p s, t, s q q d) p q r, s p, q r t, t s 8. Deduzir através de MT e SH a) p q, q r, r p
25 b) p r s, t u, r s t, u p c) p h r, s s t, (s t), p u d) s, r t, t s, r s, p t s 9. Deduzir através de MP, MT e SH. a) p q, q r, r, p s s b) v r, u v, s p, s u, p r c) r t, p (q s), r p, (q s) t d) t u, s, (p q) r, r s, (p q) t u 10. Deduzir através de MP, MT, SH, SD. a) p q, q r, r, p s, s t t b) p q, p r, r s, q, t s t c) p q, p, q (r s), s t, t r 11. Deduzir envolvendo MP, MT, SH, SD e equivalências. a) p q, p q b) p q, p r, r s, q s c) p q, s r, q s r p 12. Indicar a conclusão que se pode obter a partir do conjunto de premissas a seguir aplicando-se a regra do Dilema Construtivo.
26 a) (p q) ((r s) t), p (r s) b) (p q) ( s t), p s c) ( p (r (s t))) ( q ( r ( t u))), p q 13. Indicar em linguagem natural a conclusão que se pode obter a partir da aplicação do dilema construtivo sobre as seguintes premissas: a) Se vou ao cinema alegro-me e se vou ao concerto educo-me. Vou ao cinema ou vou ao concerto. b) Se o marido pagou a prestação, a apólice está em vigor e se a mulher perdeu o recibo o prêmio não será pago. O marido pagou a prestação ou a mulher perdeu o recibo. 14. Deduzir a conclusão a partir das premissas através de MP, SD, e DC. a) (p q) (r s), p r, (q s) t t b) p ((q r) (s t)), q s, p r t c) ((p q) (r s)) ((t u) (v w)), (p q) (t u), (v w) r s 15. Indicar em linguagem natural a conclusão obtida através da aplicação da regra de Dilema Destrutivo sobre as premissas a) Se fico em São Paulo vou ao teatro e se fico no Rio vou à praia. Não vou ao teatro ou não vou à praia.
27 b) Se viajo para a Europa visito Paris e se viajo para os Estados Unidos visito New York. Não visito Paris ou não visito New York. 16. Indicar a conclusão que se pode obter aplicando a regra do Dilema Destrutivo sobre as seguintes premissas: a) ( p q r) (s t r), (q r) (t r) b) (p (q r)) ( s t), (q r) t c) ( (s t) p) (r s), p s 17. Deduzir a conclusão das premissas através de DD e equivalências. a) (p q) (r s), (q s) p r b) (q r p) (t u s), p s ( q r) ( t u) c) (p q) (p r), q r p d) (p q) (r s), q s (p r) 18. Deduzir a conclusão a partir das premissas utilizando MP, MT, SD, SH, DC, DD e equivalências: a) ( (q r) s) (p t), p, r u, t s r b) ((p q) (r s)) ( (t u) (v x)), p t, (r s) (v x) u
28 19. Deduzir as conclusões através do MP, Conjunções e Equivalências: a) p, q, (p q) (r s) r s b) p q, (p r), r q r c) p, q q, ( p q) r r 20. Deduzir através de MP, MT, SH, Conjunções e Equivalências: a) ((p q) r) s, (r s) (t u), u t b) (p q) r, s t, (p s), q t, u r u c) ( p q), q r, r s p s 21. Deduzir através de MP, MT, SH, SD, DC, DD, Conjunções e Equivalências: a) p q, r s, p r, s q q b) p q, r s, t r, r, q s p c) p q, p r, p p, r q 22. Deduzir utilizando qualquer Regra de Inferência: a) p q, q r, q r p b) p q, t, r s, q r ( s p) t c) (p q) r, s, p, q r 21. Deduzir a conclusão a partir das premissas expressas em linguagem natural:
29 a) A festa está animada, embora Mário esteja de saída e como ainda é cedo, Vera deverá chegar. Conclusão: Vera chegará, embora Mário esteja saindo. b) A teoria dos jogos e a teoria dos reticulados podem ser úteis para o aprendizado, embora alguns outros meios sejam igualmente interessantes. Conclusão: Mesmo havendo outros meios, os reticulados são de interesse para o aprendizado. c) Nosso aparelho de som funcionará à base de discos ou fiatas ou será quadrifônico e será o mais moderno existente. Não é fato que operará à base de discos ou será o mais moderno existente. Logo, funcionará com fitas. d) Se estudamos lógica, não se dá que: apreciemos o simbolismo e não nos impressionemos com a implicação material. Não acontece o seguinte: não apreciamos o simbolismo ou a simplificação obtida com os quantificadores, mas nos impressionamos com a implicação material. Estudamos lógica e não apreciamos a simplificação obtida com os quantificadores. Logo, ficamos impressionados com a implicação material se e somente se apreciamos o simbolismo. Referências Bibliográficas ALENCAR FILHO, Edgard. Iniciação à Lógica Matemática. São Paulo, Nobel, 2002.
30 CARVALHO, Sérgio; CAMPOS, Weber. Raciocínio Lógico Simplificado. V. 1. Rio de Janeiro: Elsevier CASTRUCCI, Benedito. Introdução à Lógica Matemática. 6 ed. São Paulo: Nobel, GERÔNIMO, João Roberto; FRANCO, Valdeni Soliani. Fundamentos da Matemática: uma introdução à lógica matemática, teoria dos conjuntos, relações e funções. 2 ed. Maringá: Eduem, Exercícios de Lógica. Disponível em: < Logica%20Matematica/Logica%20(Semanas%205%206%207%208).doc.> Acesso em: 05 abr BENEVIDES. Paula Francis. Raciocínio Lógico. Disponível em: < Acesso em: 06 abr
Lógica Matemática UNIDADE II. Professora: M. Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE II Professora: M. Sc. Juciara do Nascimento César 1 1 - Álgebra das Proposições 1.1 Propriedade da Conjunção Sejam p, q e r proposições simples quaisquer e sejam t e c proposições
Leia maisProf. João Giardulli. Unidade III LÓGICA
Prof. João Giardulli Unidade III LÓGICA Objetivo Apresentar os seguintes conceitos: argumento; verificação da validade. Argumento: Algumas definições (dicionário): 1. Raciocínio através do qual se tira
Leia maisFundamentos de Lógica Matemática
Webconferência 3-01/03/2012 Inferência Lógica Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Análise
Leia maisn. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL
n. 16 DEMONSTRAÇÃO CONDICIONAL E DEMONSTRAÇÃO INDIRETA ou DEMONSTRAÇÃO POR ABSURDO DEMONSTRAÇÃO CONDICIONAL Para demonstrar a validade de um argumento podemos utilizar outro método, conhecido como Demonstração
Leia maisLógica Proposicional Parte II. Raquel de Souza Francisco Bravo 25 de outubro de 2016
Lógica Proposicional Parte II e-mail: raquel@ic.uff.br 25 de outubro de 2016 Argumento Válido Um argumento simbólica como: pode ser ser representado em forma P 1 P 2 P 3 P n Q Onde P 1, P 2,,P n são proposições
Leia maisn. 5 Implicações Lógicas Def.: Diz-se que uma proposição P (p, q, r, ) implica V V V V F F F V V F F V
n. 5 Implicações Lógicas A implicação lógica trata de um conjunto de afirmações, proposições simples ou compostas, cujo encadeamento lógico resultará em uma conclusão, a ser descoberta. Tal conclusão deverá
Leia maisRecredenciamento Portaria MEC 347, de D.O.U
Quest(iii) Argumento Dado um fenômeno ou fato, rocura-se justificá-lo, exlicá-lo. Esta justificativa é dada na forma de um raciocínio através do ual chegamos a uma afirmação, e uando este raciocínio é
Leia maisLógica. Cálculo Proposicional. Introdução
Lógica Cálculo Proposicional Introdução Lógica - Definição Formalização de alguma linguagem Sintaxe Especificação precisa das expressões legais Semântica Significado das expressões Dedução Provê regras
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 4 - ABRIL DE 2018 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisn. 6 Equivalências Lógicas logicamente equivalente a uma proposição Q (p, q, r, ), se as tabelas-verdade destas duas proposições são idênticas.
n. 6 Equivalências Lógicas A equivalência lógica trata de evidenciar que é possível expressar a mesma sentença de maneiras distintas, preservando, o significado lógico original. Def.: Diz-se que uma proposição
Leia maisUma proposição composta é uma contradição, se for sempre falsa, independentemente do valor lógico das proposições simples que a compõem.
Tautologia Uma proposição composta é uma tautologia, se for sempre verdadeira, independentemente do valor lógico das proposições simples que a compõem. Exemplos: Contradição Uma proposição composta é uma
Leia maisn. 12 VALIDADE MEDIANTE TABELAS-VERDADE A validade de um argumento pode ser verificada, demonstrada ou testada através das tabelas-verdade.
n. 12 ALIDADE MEDIANTE TABELAS-ERDADE alidade dos argumentos através de tabela- verdade A validade de um argumento pode ser verificada, demonstrada ou testada através das tabelas-verdade. Dado um argumento
Leia maisLógica Proposicional (Consequência lógica / Dedução formal)
Faculdade de Tecnologia Senac Pelotas Curso Superior de Tecnologia em Análise e Desenvolvimento de Sistemas Matemática Aplicada Prof. Edécio Fernando Iepsen Lógica Proposicional (Consequência lógica /
Leia maisLÓGICA EM COMPUTAÇÃO
CEC CENTRO DE ENGENHARIA E COMPUTAÇÃO UNIVERSIDADE CATÓLICA DE PETRÓPOLIS LÓGICA EM COMPUTAÇÃO TAUTOLOGIA - EQUIVALÊNCIA E INFERÊNCIA VERSÃO: 0.1 - MARÇO DE 2017 Professor: Luís Rodrigo E-mail: luis.goncalves@ucp.br
Leia maisDedução Natural e Sistema Axiomático Pa(Capítulo 6)
Dedução Natural e Sistema Axiomático Pa(Capítulo 6) LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Sistemas axiomático Pa 4. Lista
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 26 de Abril de 2017 Curso de Ciência da Computação Inferência Lógica Uma inferência lógica, ou, simplesmente uma inferência, é uma tautologia da forma
Leia maisFundamentos da Computação 1. Introdução a Argumentos
Fundamentos da Computação 1 Introdução a s Se você tem um senha atualizada, então você pode entrar na rede Você tem uma senha atualizada Se você tem um senha atualizada, então você pode entrar na rede
Leia maisn. 18 ALGUNS TERMOS...
n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.
Leia maisLógica e Matemática Discreta
Lógica e Matemática Discreta Proposições Prof clezio 20 de Março de 2018 Curso de Ciência da Computação Proposições e Conectivos Conceito de proposição Definição: Chama-se proposição a todo conjunto de
Leia maisLÓGICA - 2. ~ q. Argumentos Regras de inferência. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva. 1) Proposição recíproca de p q :
LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q : ~ p 3) Proposição contra positiva de p q : ~ p ex. Determinar:
Leia maisn. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS
n. 19 QUANTIFICADOR UNIVERSAL QUANTIFICADOR EXISTENCIAL QUANTIFICADOR EXISTENCIAL DE UNICIDADE SENTENÇAS ABERTAS As sentenças em que não é possível atribuir valor lógico verdadeiro ou falso, porque isso
Leia maisLógica Computacional
Lógica Computacional Modus Ponens e Raciocínio Hipotético Introdução e eliminação da Implicação e da Equivalência Completude e Coerência do Sistema de Dedução Natural 24 Outubro 2016 Lógica Computacional
Leia maisSistema dedutivo. Sistema dedutivo
Sistema dedutivo Estudaremos um sistema dedutivo axiomático axiomas lógicos e axiomas não lógicos (ou esquemas de axiomas) e regras de inferência (ou esquemas de regra) do tipo de Hilbert para a lógica
Leia maisLógica. Fernando Fontes. Universidade do Minho. Fernando Fontes (Universidade do Minho) Lógica 1 / 65
Lógica Fernando Fontes Universidade do Minho Fernando Fontes (Universidade do Minho) Lógica 1 / 65 Outline 1 Introdução 2 Implicações e Equivalências Lógicas 3 Mapas de Karnaugh 4 Lógica de Predicados
Leia maisUnidade II. A notação de que a proposição P (p, q, r,...) implica a proposição Q (p, q, r,...) por:
LÓGICA Objetivos Apresentar regras e estruturas adicionais sobre o uso de proposições. Conceituar implicação lógica, tautologias, e as propriedade sobre proposições. Apresentar os fundamentos da dedução,
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia maisUNIP Ciência da Computação Prof. Gerson Pastre de Oliveira
Aula 6 Lógica Matemática Álgebra das proposições e método dedutivo As operações lógicas sobre as proposições possuem uma série de propriedades que podem ser aplicadas, considerando os conectivos inseridos
Leia maisFundamentos de Lógica Matemática
Webconferência 5-22/03/2012 Prova por resolução Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução É possível
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisCálculo proposicional
O estudo da lógica é a análise de métodos de raciocínio. No estudo desses métodos, a lógica esta interessada principalmente na forma e não no conteúdo dos argumentos. Lógica: conhecimento das formas gerais
Leia mais3.3 Cálculo proposicional clássico
81 3.3 Cálculo proposicional clássico 3.3.1 Estrutura dedutiva Neste parágrafo serão apresentados, sem preocupação com excesso de rigor e com riqueza de detalhes, alguns conceitos importantes relativos
Leia maisIntrodução à Lógica Computacional. Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação
Introdução à Lógica Computacional Circuitos: Maps de Karnaugh Lógica Proposicional: Prova por Refutação Agenda da aula Circuitos lógicos: Mapas de Karnaugh Recaptulando semântica da lógica proposicional
Leia maisNHI Lógica Básica (Lógica Clássica de Primeira Ordem)
NHI2049-13 (Lógica Clássica de Primeira Ordem) página da disciplina na web: http://professor.ufabc.edu.br/~jair.donadelli/logica O assunto O que é lógica? Disciplina que se ocupa do estudo sistemático
Leia maisUniversidade Federal do Espírito Santo 3a. Prova de Lógica Prof. Lúcio Fassarella DMA/CEUNES/UFES Data: 25/07/2017
Universidade Federal do Esírito Santo 3a. Prova de Lógica Prof. Lúcio Fassarella DMA/CEUNES/UFES Data: 5/07/017 Aluno: Matrícula. Nota: : : Orientações: Todas as resostas devem ser devidamente justi cadas
Leia maisLógica Proposicional
Lógica Proposicional Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG junho - 2018 Sheila Almeida (DAINF-UTFPR-PG) Lógica Proposicional junho - 2018 1 / 55 Este material é preparado
Leia maisLógica de Programação
Lógica de Programação Autor: Jusdewbe Tatiane de Souza Mora 1 Introdução: LÓGICA O estudo da Lógica, é o estudo dos métodos e princípios usados para distinguir o raciocínio correto do incorreto. Esta definição
Leia maisLógica Proposicional Parte 3
Lógica Proposicional Parte 3 Nesta aula, vamos mostrar como usar os conhecimentos sobre regras de inferência para descobrir (ou inferir) novas proposições a partir de proposições dadas. Ilustraremos esse
Leia maisLÓGICA I ANDRÉ PONTES
LÓGICA I ANDRÉ PONTES 4. Lógica Proposicional A Linguagem da Lógica Proposicional Letras Proposicionais: P, Q, R, S, T,... Conectivos Lógicos: Símbolos auxiliares: (, ), = Conectivo Leitura Símbolo Símbolos
Leia maisResumo de Filosofia. Preposição frase declarativa com um certo valor de verdade
Resumo de Filosofia Capítulo I Argumentação e Lógica Formal Validade e Verdade O que é um argumento? Um argumento é um conjunto de proposições em que se pretende justificar ou defender uma delas, a conclusão,
Leia maisLógica Formal. Matemática Discreta. Prof Marcelo Maraschin de Souza
Lógica Formal Matemática Discreta Prof Marcelo Maraschin de Souza Implicação As proposições podem ser combinadas na forma se proposição 1, então proposição 2 Essa proposição composta é denotada por Seja
Leia maisModus ponens, modus tollens, e respectivas falácias formais
Modus ponens, modus tollens, e respectivas falácias formais Jerzy A. Brzozowski 28 de abril de 2011 O objetivo deste texto é apresentar duas formas válidas de argumentos o modus ponens e o modus tollens
Leia maisFundamentos de Lógica Lógica Proposicional
Fundamentos de Lógica Lógica Proposicional Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro Alguns fatos históricos Primeiros grandes trabalhos de lógica escritos
Leia maisLógica Formal. Matemática Discreta. Prof. Vilson Heck Junior
Lógica Formal Matemática Discreta Prof. Vilson Heck Junior vilson.junior@ifsc.edu.br Objetivos Utilizar símbolos da lógica proposicional; Encontrar o valor lógico de uma expressão em lógica proposicional;
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Quais sentenças abaixo são argumentos? 1. Bruxas são feitas de madeira.
Leia maisRegras de Inferência. Matemática Discreta. Profa. Sheila Morais de Almeida DAINF-UTFPR-PG. março
Matemática Discreta Regras de Inferência Profa. Sheila Morais de Almeida DAINF-UTFPR-PG março - 2017 Argumentos Válidos em Lógica Proposicional Considere o argumento: Se João pensa, então João existe.
Leia maisA Linguagem dos Teoremas - Parte II. Tópicos Adicionais. Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto
Material Teórico - Módulo de INTRODUÇÃO À LÓGICA MATEMÁTICA A Linguagem dos Teoremas - Parte II Tópicos Adicionais Autor: Prof. Francisco Bruno Holanda Revisor: Prof. Antônio Caminha Muniz Neto 12 de maio
Leia maisLógica Matemática. Prof. Gerson Pastre de Oliveira
Lógica Matemática Prof. Gerson Pastre de Oliveira Programa da Disciplina Proposições e conectivos lógicos; Tabelas-verdade; Tautologias, contradições e contingências; Implicação lógica e equivalência lógica;
Leia maisLógica Proposicional
Lógica Proposicional Lógica Proposicional As notações lógicas formais representam proposições em forma simbólica fbf Lembrando: fbf: fórmula bem formulada; Essas fbfs também são chamadas de fbfs proposicionais
Leia maisMD Lógica de Proposições Quantificadas Cálculo de Predicados 1
Lógica de Proposições Quantificadas Cálculo de Predicados Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Lógica de Proposições Quantificadas Cálculo de Predicados
Leia maisLógica para computação
Lógica para computação PROPRIEDADES SEMÂNTICAS DA LÓGICA PROPOSICIONAL Professor Marlon Marcon Introdução Esta seção considera a análise de algumas propriedades semânticas da LP que relacionam os resultados
Leia maisLógica Proposicional. Prof. Dr. Silvio do Lago Pereira. Departamento de Tecnologia da Informação Faculdade de Tecnologia de São Paulo
Lógica Proposicional Prof. Dr. Silvio do Lago Pereira Departamento de Tecnologia da Informação aculdade de Tecnologia de São Paulo Motivação IA IA estuda estuda como como simular simular comportamento
Leia maisLÓGICA PROPOSICIONAL
FACULDADE PITÁGORAS Curso Superior em Tecnologia Redes de Computadores e Banco de dados Matemática Computacional Prof. Ulisses Cotta Cavalca LÓGICA PROPOSICIONAL Belo Horizonte/MG
Leia mais2 Lógica Fuzzy. 2 Lógica Fuzzy. Sintaxe da linguagem
2 Lógica Fuzzy 2.1 Cálculo proposicional (lógica proposicional) 2.2 Lógica de Predicados 2.3 Lógica de múltiplos valores 2.4 Lógica Fuzzy Proposições fuzzy Inferência a partir de proposições fuzzy condicionais
Leia maisRaciocínio lógico matemático
Raciocínio lógico matemático Unidade 3: Dedução Seção 3.3 - Contrapositiva 1 Lembrando Modus pones p q, p q Se Pedro guarda dinheiro, então ele não fica negativado. Pedro guardou dinheiro. Dessa forma
Leia maisLógica predicados. Lógica predicados (continuação)
Lógica predicados (continuação) Uma formula está na forma normal conjuntiva (FNC) se é uma conjunção de cláusulas. Qualquer fórmula bem formada pode ser convertida para uma FNC, ou seja, normalizada, seguindo
Leia maisIntrodução à Logica Computacional. Aula: Lógica Proposicional -Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional -Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Argumento Sequência de sentenças......uma das quais se afirma verdadeira
Leia maisDOUGLAS LÉO RACIOCÍNIO LÓGICO
DOUGLAS LÉO RACIOCÍNIO LÓGICO VALORAÇÃO: DESENCADEAMENTO LÓGICO LÓGICA DE ARGUMENTAÇÃO VALIDADE DE ARGUMENTO SILOGISMOS DESENCADEAMENTO LÓGICO LÓGICA DE ARGUMENTAÇÃO Def: Uma argumentação Lógica correta
Leia maisDedução Natural LÓGICA APLICADA A COMPUTAÇÃO. Professor: Rosalvo Ferreira de Oliveira Neto
Dedução Natural LÓGICA APLICADA A COMPUTAÇÃO Professor: Rosalvo Ferreira de Oliveira Neto Estrutura 1. Definições 2. Dedução Natural 3. Lista Um dos objetivos principais da lógica é o estudo de estruturas
Leia maisUnidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência.
Unidade 1 Sentenças e Representação simbólica Unidade 1 Sentenças, Representação Simbólica, Tautologia, Contradição e Contingência. 1 Introdução e Conceitos Iniciais: Geralmente nos expressamos, em português,
Leia maisAlfabeto da Lógica Proposicional
Ciência da Computação Alfabeto da Lógica Sintaxe e Semântica da Lógica Parte I Prof. Sergio Ribeiro Definição 1.1 (alfabeto) - O alfabeto da é constituído por: símbolos de pontuação: (, ;, ) símbolos de
Leia maisCoordenação Prof. Aurimenes Alves. Proposições: 1) Recíproca 2) Contrária 3) Contra positiva
@ LÓGICA - 2 Proposições: 1) Recíproca 2) Contrária 3) Contra positiva 1) Proposição recíproca de p q : q p 2) Proposição contrária de p q: ~ p 3) Proposição contra positiva de p q: ~ p ex. Determinar:
Leia maisUniversidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática
Universidade Aberta do Brasil - UFPB Virtual Curso de Licenciatura em Matemática Argumentação em Matemática Prof. Lenimar Nunes de Andrade e-mail: numerufpb@gmail.com ou lenimar@mat.ufpb.br versão 1.0
Leia maisIMPLICAÇÃO LÓGICA. Prof.: Rafael Dias Ribeiro,M.Sc.
IMPLICAÇÃO LÓGICA Prof.: Rafael Dias Ribeiro,M.Sc. Imlicação Lógica O rocesso de inferência automática oderia ser realizado utilizando-se tabelas-verdade, mas esta seria uma estratégia lenta e que ocuaria
Leia maisExemplo 7 1 I. p q: Se o time joga bem, então o time ganha o campeonato. q s: Se o time ganha o campeonato então. s: Os torcedores não estão felizes.
Exemplo 7 1 I p q: Se o time joga bem, então o time ganha o campeonato }{{}}{{} p q p r: Se o time não joga bem, então o técnico é o culpado }{{}}{{} p r q s: Se o time ganha o campeonato então }{{} q
Leia maisIntrodução à Logica Computacional. Aula: Lógica Proposicional - Sintaxe e Representação
Introdução à Logica Computacional Aula: Lógica Proposicional - Sintaxe e Representação Agenda Resolução de exercício da aula 1 Definições Proposição simples Conectivos Proposição composta Sintaxe Exercício
Leia maisLógica Proposicional Parte 2
Lógica Proposicional Parte 2 Como vimos na aula passada, podemos usar os operadores lógicos para combinar afirmações criando, assim, novas afirmações. Com o que vimos, já podemos combinar afirmações conhecidas
Leia maisLógica para Computação
Lógica para Computação Prof. Celso Antônio Alves Kaestner, Dr. Eng. celsokaestner (at) utfpr (dot) edu (dot) br Sistemas Dedutivos Um Sistema Dedutivo (SD) tem por objetivo obter, a partir de um conjunto
Leia maisLógica e Metodologia Jurídica
Lógica e Metodologia Jurídica Argumentos e Lógica Proposicional Prof. Juliano Souza de Albuquerque Maranhão julianomaranhao@gmail.com Puzzle 2 pessoas A e B fazem uma oferta um ao outro. O problema é identificar
Leia maisLógica Proposicional. 1- O que é o Modus Ponens?
1- O que é o Modus Ponens? Lógica Proposicional R: é uma forma de inferência válida a partir de duas premissas, na qual se se afirma o antecedente do condicional da 1ª premissa, pode-se concluir o seu
Leia maisRACIOCÍNIO LÓGICO. Prof. Luiz Luz
RACIOCÍNIO LÓGICO Prof. Luiz Luz RACIOCÍNIO LÓGICO Lógica da Argumentação ARGUMENTO Chama-se argumento toda afirmação de que uma dada sequência finita de proposições P1,P2,P3,...,Pn tem como consequência
Leia maisDepartamento de Engenharia Informática da Universidade de Coimbra
Departamento de Engenharia Informática da Universidade de Coimbra Estruturas Discretas 2013/14 Folha 1 - TP Lógica proposicional 1. Quais das seguintes frases são proposições? (a) Isto é verdade? (b) João
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1. Lógica proposicional: introdução,
Leia maisSilogismos Categóricos e Hipotéticos
Silogismos Categóricos e Hipotéticos Resumo elaborado por Francisco Cubal Apenas para publicação em Resumos.tk Primeiros objectivos a alcançar: Reconhecer os quatro tipos de proposições categóricas. Enunciar
Leia maisVimos que a todo o argumento corresponde uma estrutura. Por exemplo ao argumento. Se a Lua é cúbica, então os humanos voam.
Matemática Discreta ESTiG\IPB 2012/13 Cap1 Lógica pg 10 Lógica formal (continuação) Vamos a partir de agora falar de lógica formal, em particular da Lógica Proposicional e da Lógica de Predicados. Todos
Leia maisMDI0001 Matemática Discreta Aula 01
MDI0001 Matemática Discreta Aula 01 e Karina Girardi Roggia karina.roggia@udesc.br Departamento de Ciência da Computação Centro de Ciências Tecnológicas Universidade do Estado de Santa Catarina 2016 Karina
Leia maisIntrodução à Logica Computacional. Aula 1 Ana Cristina Bicharra Garcia Segundas & Quartas 16:00-18:00
Introdução à Logica Computacional Aula 1 Ana Cristina Bicharra Garcia Segundas & Quartas 16:00-18:00 Agenda Apresentação do Curso Ementa Bibliografia Apresentação à Lógica Conceitos Básicos Quem somos
Leia maisn. 25 DIAGRAMAS DE VENN
n. 25 DIAGRAMAS DE VENN Foi o matemático inglês John Venn (1834-1923) que criou os diagramas, com o intuito de facilitar a compreensão na relação de união e intersecção entre conjuntos. John Venn desenvolveu
Leia maisLógica Computacional DCC/FCUP 2017/18
2017/18 Raciocínios 1 Se o André adormecer e alguém o acordar, ele diz palavrões 2 O André adormeceu 3 Não disse palavrões 4 Ninguém o acordou Será um raciocínio válido? Raciocínios Forma geral do raciocínio
Leia maisFundamentos de Lógica Matemática
Webconferência 6-29/03/2012 Introdução à Lógica de Predicados Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Introdução
Leia maisESCOLA SECUNDÁRIA DA AMADORA CRITÉRIOS DE AVALIAÇÃO DA DISCIPLINA DE FILOSOFIAS 10º ANO CURSOS CIENTÍFICO-HUMANÍSTICOS
I Abordagem introdutória à filosofia e ao filosofar II Racionalidade Argumentativa e a dimensão discursiva do trabalho filosófico Caracterizar a filosofia como uma atividade conceptual crítica. Clarificar
Leia maisGabarito da Avaliação 3 de Lógica Computacional 1
Questões iguais em todas as provas: Gabarito da Avaliação 3 de Lógica Computacional 1 1. (5 pts) Utilize a Regra DC para mostrar que é válido o seguinte argumento: p q r, s ~r ~t, s u p u De acordo com
Leia maisMatemática Discreta. Lógica Proposicional. Profa. Sheila Morais de Almeida. agosto DAINF-UTFPR-PG
Matemática Discreta Lógica Proposicional Profa. Sheila Morais de Almeida DAINF-UTFPR-PG agosto - 2016 Tautologias Tautologia é uma fórmula proposicional que é verdadeira para todos os possíveis valores-verdade
Leia maisUma proposição é uma frase que pode ser apenas verdadeira ou falsa. Exemplos:
1 Noções Básicas de Lógica 1.1 Proposições Uma proposição é uma frase que pode ser apenas verdadeira ou falsa. 1. Os sapos são anfíbios. 2. A capital do Brasil é Porto Alegre. 3. O tomate é um tubérculo.
Leia maisRepresentação de Conhecimento. Lógica Proposicional
Representação de Conhecimento Lógica Proposicional Representação de conhecimento O que éconhecimento? O que érepresentar? Representação mental de bola Representação mental de solidariedade Símbolo como
Leia maisIntrodução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22
Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é
Leia mais4 AULA. Regras de Inferência e Regras de Equivalência LIVRO. META: Introduzir algumas regras de inferência e algumas regras de equivalência.
1 LIVRO Regras de Inferência e Regras de Equivalência 4 AULA META: Introduzir algumas regras de inferência e algumas regras de equivalência. OBJETIVOS: Ao fim da aula os alunos deverão ser capazes de:
Leia maisFundamentos de Lógica Matemática
Webconferência 4-08/03/2012 Técnicas dedutivas Prof. L. M. Levada http://www.dc.ufscar.br/ alexandre Departamento de Computação (DC) Universidade Federal de São Carlos (UFSCar) 2012/1 Objetivos Maneiras
Leia maisn. 3 Construção de Tabelas-Verdade
n. 3 Construção de Tabelas-Verdade Dadas várias proposições simples: p, q, r, s,..., podemos combiná-las pelos conectivos lógicos: Negação (~) ou ( ) Conjunção ( ) Disjunção ( ) Condicional ( ) Bicondicional
Leia maisCONTEÚDO LÓGICA FUZZY LÓGICA FUZZY. Proposições Fuzzy. Regras são implicações lógicas. Introdução Introdução, Objetivo e Histórico
CONTEÚDO Introdução Introdução, Objetivo e Histórico Conceitos ásicos Definição, Características e Formas de Imprecisão Conjuntos Fuzz Propriedades, Formas de Representação e Operações Relações, Composições,
Leia maisRaciocínio Lógico - Parte IV
Apostila escrita pelo professor José Gonçalo dos Santos Contato: jose.goncalo.santos@gmail.com Raciocínio Lógico - Parte IV Sumário 1. Argumentação... 1 2. Regras de Inferência... 2 3. Regras de inferência...
Leia maisSumário. Os Enigmas de Sherazade I Ele fala a verdade ou mente? I I Um truque com os números... 14
Sumário Os Enigmas de Sherazade... 13 I Ele fala a verdade ou mente?... 13 I I Um truque com os números... 14 Capítulo 1 Lógica de Primeira Ordem-Proposicional... 15 Estruturas Lógicas... 15 I Sentenças...
Leia maisLógica Matemática UNIDADE I. Professora: M.Sc. Juciara do Nascimento César
Lógica Matemática UNIDADE I Professora: M.Sc. Juciara do Nascimento César 1 A Lógica na Cultura Helênica A Lógica foi considerada na cultura clássica e medieval como um instrumento indispensável ao pensamento
Leia maisUniversidade do Vale do Rio dos Sinos - UNISINOS. Apostila da Disciplina de. Lógica. Prof. João Carlos Gluz
Universidade do Vale do Rio dos Sinos - UNISINOS Apostila da Disciplina de Lógica Prof. João Carlos Gluz São Leopoldo, março de 2009 UNISINOS Lógica Apostila 1 Sumário CAPÍTULO 1 LÓGICA PROPOSICIONAL...1
Leia maisÍNDICE. Bibliografia CRES-FIL11 Ideias de Ler
ÍNDICE 1. Introdução... 5 2. Competências essenciais do aluno... 6 3. Como ler um texto... 7 4. Como ler uma pergunta... 8 5. Como fazer um trabalho... 9 6. Conteúdos/Temas 11.º Ano... 11 III Racionalidade
Leia maisTeoria da Argumentação e Análise Inferencial em Lógica Matemática
9 Teoria da Argumentação e Análise Inferencial em Lógica Matemática Carlos Magno Corrêa Dias Ao longo da evolução e revolução do progresso intelectual do homem observa-se, dissociando pertinências de ordem
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/53 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional
Leia maisMatemática discreta e Lógica Matemática
AULA 1 - Lógica Matemática Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Ementa 1 Lógica Sentenças, representação
Leia maisRepresentação de Conhecimento
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Representação de Conhecimento Inteligência Artificial Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
Leia mais