LÓGICA EM COMPUTAÇÃO
|
|
- Victorio Miguel Sousa de Barros
- 6 Há anos
- Visualizações:
Transcrição
1 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: MARÇO DE 2017 Professor: Luís Rodrigo luis.goncalves@ucp.br Site:
2 Administração de Sistemas de Informação 3 Lógica Computacional Parte II Tautologia Equivalência e Inferência
3 Parte II - Tautologia e Contradição 3 Uma Tautologia é intrinsecamente verdadeira. Independentemente do valor lógico atribuído às letras das proposições, a formula sempre é Verdade. Já uma Contradição é uma formula, ou proposição, que sempre assume o valor Falso, independentemente dos valores das letras proposicionais.
4 Administração de Sistemas de Informação Lógica Computacional Parte II (1) Equivalências Tautológicas
5 1.1) Relação de Implicação 5 Sendo duas proposições p e q Quando a sentença p q é uma tautologia Podemos dizer que há uma relação de implicação entre p e q, ou seja: p q
6 1.1) Relação de Implicação 6 O símbolo indica uma operação ao passo que O símbolo indica uma relação Uma relação não cria uma nova proposição, mas uma operação sim.
7 1.1) Relação de Implicação 7 Todo Teorema é uma implicação na forma: Hipótese Tese Desta forma, ao demonstrarmos a Hipótese, significa dizer que: não há um caso onde a Hipótese seja verdadeira e a Tese não Neste caso, a Verdade da Hipótese é suficiente para garantir a Verdade da Tese.
8 1.2) Relação de Equivalência 8 A proposição p é equivalente à q, quando: elas implicam uma na outra: P Q bem como, a bicondicional é uma tautologia. Neste caso, podemos usar a representação abaixo para denotas que ambas são equivalentes P Q
9 1.2) Relação de Equivalência 9 Duas proposições são equivalentes quando possuem a mesma tabela verdade Duas proposições são equivalentes quando expressam a mesma ideia, diferenciando-se apenas o formato
10 Administração de Sistemas de Informação Lógica Computacional Parte II Exercícios
11 1.3) Exercícios 11 Verifique se as proposições abaixo possuem relação de Equivalência, de Implicação ou não possuem relação entre elas: a) p ^ q p v q b) (p q) ( ( p q ) ^ ( q p )) c) ~(p q) p ^ ~q d) (p q) (~q ~p)
12 1.3) Exercícios 12 Sendo f uma contradição, determine: a) (p ^ ~q f) ( p q)
13 Administração de Sistemas de Informação Lógica Computacional Parte II (2) Propriedades de Equivalência
14 2) Principais propriedades de Equivalência 14 1) Simetria: Se p q
15 2) Principais propriedades de Equivalência 15 1) Simetria: Se p q Então q p
16 2) Principais propriedades de Equivalência 16 2) Transitiva: Se p q e q r
17 2) Principais propriedades de Equivalência 17 2) Transitiva: Se p q e q r Então p r
18 2) Principais propriedades de Equivalência 18 3) Comutatividade: n p ^ q??? n p v q???
19 2) Principais propriedades de Equivalência 19 3) Comutatividade: n p ^ q q ^ p n p v q q v p
20 2) Principais propriedades de Equivalência 20 4) Associatividade: n (p ^ q) ^ r??? n (p v q) v r???
21 2) Principais propriedades de Equivalência 21 4) Associatividade: n (p ^ q) ^ r p ^ (q ^ r) n (p v q) v r q v (p v r)
22 2) Principais propriedades de Equivalência 22 5) Distributividade n p (q r)??? n p (q r)???
23 2) Principais propriedades de Equivalência 23 5) Distributividade n p (q r) (p q) (p r) n p (q r) (p q) (p r)
24 2) Principais propriedades de Equivalência 24 6) Elemento Neutro n p? p n p? p
25 2) Principais propriedades de Equivalência 25 6) Elemento Neutro n p F p n p V p
26 2) Principais propriedades de Equivalência 26 7) Complemento n p ~p??? n p ~p???
27 2) Principais propriedades de Equivalência 27 7) Complemento n p ~p F n p ~p V
28 2) Principais propriedades de Equivalência 28 8) Indepotência n p p??? n p p??? Em matemática e ciência da computação, a idempotência é a propriedade que algumas operações têm de poderem ser aplicadas várias vezes sem que o valor do resultado se altere após a aplicação inicial. - Idempotência Wikipédia, a enciclopédia livre
29 2) Principais propriedades de Equivalência 29 8) Indepotência n p p p n p p p Logo:
30 2) Principais propriedades de Equivalência 30 8) Indepotência n p p p n p p p Logo: n p p p p
31 2) Principais propriedades de Equivalência 31 9) Dupla negação n ~(~p)???
32 2) Principais propriedades de Equivalência 32 9) Dupla negação n ~(~p) p
33 2) Principais propriedades de Equivalência 33 10) Equivalência da Implicação n (p q)???
34 2) Principais propriedades de Equivalência 34 10) Equivalência da Implicação n (p q) (~p q) Prove construindo a Tabela Verdade
35 2) Principais propriedades de Equivalência 35 11) Contraposição Se João estudar, será aprovado é equivalente à Se João não estudar, não será aprovado
36 2) Principais propriedades de Equivalência 36 11) Contraposição Se João estudar, será aprovado é equivalente à Se João não estudar, não será aprovado n (p q) (~p ~q) Prove construindo a Tabela Verdade
37 2) Principais propriedades de Equivalência 37 12a) Lei da Bicondicional n (p q)???
38 2) Principais propriedades de Equivalência 38 12a) Lei da Bicondicional n (p q) (p q) (q p)
39 2) Principais propriedades de Equivalência 39 12a) Lei da Bicondicional n (p q) (p q) (q p) Prove construindo a Tabela Verdade
40 2) Principais propriedades de Equivalência 40 12a) Lei da Bicondicional n (p q) (p q) (q p) Exemplo: (p q) Um número é divisível por 10 se e somente se ele terminar por zero
41 2) Principais propriedades de Equivalência 41 12a) Lei da Bicondicional n (p q) (p q) (q p) Exemplo: (p q) Um número é divisível por 10 se e somente se ele terminar por zero Equivale á: (p q) (q p) Se um número terminar por zero, então é múltiplo de 10, e se for múltiplo de 10, então ele termina por zero
42 2) Principais propriedades de Equivalência 42 12b) Lei da Bicondicional n (p q)???
43 2) Principais propriedades de Equivalência 43 12b) Lei da Bicondicional n (p q) (p q) (~q ~p)
44 2) Principais propriedades de Equivalência 44 12b) Lei da Bicondicional n (p q) (p q) (~q ~p) Prove construindo a Tabela Verdade
45 2) Principais propriedades de Equivalência 45 12b) Lei da Bicondicional n (p q) (p q) (~q ~p) Exemplo: (p q) Um número é divisível por 10 se e somente se ele terminar por zero
46 2) Principais propriedades de Equivalência 46 12b) Lei da Bicondicional n (p q) (p q) (~q ~p) Exemplo: (p q) Um número é divisível por 10 se e somente se ele terminar por zero Equivale á: Ou o número é múltiplo de 10 e terminado em zero, ou, não é múltiplo de 10 e não termina em zero
47 2) Principais propriedades de Equivalência 47 13) Prova Condicional n p (q r) (p q) r Prove construindo a Tabela Verdade
48 2) Principais propriedades de Equivalência 48 14) Lei de De Morgan 1 n ~(p q) ~p ~q n ~(p q) ~p ~q Prove construindo a Tabela Verdade 1 Augustus De Morgam, matemático Inglês do séc XIX; foi o primeiro à enunciar estas leis
49 2) Principais propriedades de Equivalência 49 14) Lei de De Morgan 1 n ~(p q) ~p ~q* n ~(p q) ~p ~q é falso que João foi ao cinema e ao teatro equivale à ou João não foi ao cinema ou João não foi ao teatro 1 Augustus De Morgam, matemático Inglês do séc XIX; foi o primeiro à enunciar estas leis
50 2) Principais propriedades de Equivalência 50 15) Condicional n p q ~p q Prove construindo a Tabela Verdade
51 2) Principais propriedades de Equivalência 51 15) Condicional n p q ~p q Se continuar chovendo, o rio vai transbordar equivale à ou para de chover ou o rio vai transbordar
52 2) Principais propriedades de Equivalência 52 16) Lei da Absorção n p p q p q Prove construindo a Tabela Verdade
53 2) Principais propriedades de Equivalência 53 17) Lei de Clavius n ~p p p Prove construindo a Tabela Verdade
54 2) Principais propriedades de Equivalência 54 18) Lei do Dilema n (p q) (~p q) q Prove construindo a Tabela Verdade
55 2) Principais propriedades de Equivalência 55 18) Lei do Dilema n (p q) (~p q) q Se eu for aprovado então vou viajar, e, senão for aprovado também vou viajar equivale à vou viajar
56 2) Principais propriedades de Equivalência 56 19) Lei da Refutação por absurdo n (p q) (p ~q) ~p Prove construindo a Tabela Verdade
57 2) Principais propriedades de Equivalência 57 20) Lei da Demonstração por absurdo (onde F é uma contradição) n (p ~q) F p q Prove construindo a Tabela Verdade
58 2) Principais propriedades de Equivalência 58 22) Negação da Condicional n ~(p q) p ~q Prove construindo a Tabela Verdade
59 2) Principais propriedades de Equivalência 59 23) Negação da bicondicional n ~(p q) (p ~q) (~p q) Prove construindo a Tabela Verdade
60 2) Principais propriedades de Equivalência 60 24) Contradição Tautológica n p T p n p T T n p (~p) T n p (~p) F n p F F n p F p n ~T F n ~F T
61 Administração de Sistemas de Informação (2.1) Lógica Computacional Parte II Reescrevendo as proposições
62 2.1) Reescrevendo as proposições 62 Com o conceito de equivalência torna-se possível a construção de qualquer expressão condicional com apenas o uso da negação (~), da disjunção ( ) e/ou da conjunção ( ).
63 2.1) Reescrevendo as proposições 63 a) Eliminando a Bicondicional n(p q) b) Eliminando a Condicional n(p q)
64 2.1) Reescrevendo as proposições 64 a) Eliminando a Bicondicional n(p q) (p q) (~p ~q) *15 b) Eliminando a Condicional n(p q)
65 2.1) Reescrevendo as proposições 65 a) Eliminando a Bicondicional n(p q) (p q) (~p ~q) *15 b) Eliminando a Condicional n(p q) ~p q *10
66 2.1) Reescrevendo as proposições 66 c) Escrevendo a disjunção em termos da conjunção n(p q) d) Escrevendo a conjunção em termo da disjunção n(p q)
67 2.1) Reescrevendo as proposições 67 c) Escrevendo a disjunção em termos da conjunção n(p q) ~(~p ~q) *13b d) Escrevendo a conjunção em termo da disjunção n(p q)
68 2.1) Reescrevendo as proposições 68 c) Escrevendo a disjunção em termos da conjunção n(p q) ~(~p ~q) *13b d) Escrevendo a conjunção em termo da disjunção n(p q) ~(~p ~q) *13a
69 Administração de Sistemas de Informação (2.2) Lógica Computacional Parte II Exercícios
70 2.2) Exercícios - reescrevendo as proposições 70 Escreva a proposição abaixo em termos da negação e disjunção (p q) ~p
71 2.2) Exercícios - reescrevendo as proposições 71 a) Removendo a condicional ( ) (p q) ~p Original
72 2.2) Exercícios - reescrevendo as proposições 72 a) Removendo a condicional ( ) (p q) ~p Original ~ (p q) ~p (1)
73 2.2) Exercícios - reescrevendo as proposições 73 b) Removendo a Bicondicional ( ) ~ (p q) ~p (1) ~[(p q) (~p ~q)] ~p (2)
74 2.2) Exercícios - reescrevendo as proposições 74 c) Removendo a Conjunçao ( ) ~[(p q) (~p ~q)] ~p (2) ~[~(~p ~q) ~(p q)] ~p (3)
75 Administração de Sistemas de Informação (3) Lógica Computacional Parte II Inferência Lógica
76 3) Inferência Lógica 76 É uma tautologia com a seguinte forma: p q Onde: p é chamado de antecedente e q de consequente. Sendo representada na seguinte forma: p q
77 3) Inferência Lógica 77 As regras de inferência são formas válidas de raciocínio que nos permitem concluir o consequente baseado na verdade do antecedente. Elas podem ser caracterizadas pelo uso dos termos: n logo n portanto n em consequência n E sinónimos destes
78 3) Inferência Lógica 78 As regras de inferência podem ser provadas construindo-se suas tabelas verdade; Se o resultado da coluna da condicional for uma Tautologia, logo, teremos uma inferência.
79 3.1) Regra se Inferência 79 1) Transitiva Se: (p q) e (q r) Então:???
80 3.1) Regra se Inferência 80 1) Transitiva Se: (p q) e (q r) Então: p r
81 3.1) Regra se Inferência 81 2) Modus Ponens (MP)* (p q) p q * A maneira que afirma o afirmativo - Latin
82 3.1) Regra se Inferência 82 3) Regra da Adição p p q vou ao cinema, logo, vou ao cinema ou ao teatro
83 3.1) Regra se Inferência 83 4) Regras da Simplificação p q p fui ao cinema e ao teatro, logo fui ao cinema
84 3.1) Regra se Inferência 84 5) Regra da Simplificação Disjunta: (p q) (p ~q) p Ou estudo ou trabalho; ou estudo ou não trabalho; logo, estudo
85 3.1) Regra se Inferência 85 6) Regra da Absorção: (p q) p (p q) Se trabalho, ganho dinheiro; logo, se trabalho, trabalho e ganho dinheiro
86 3.1) Regra se Inferência 86 7) Regra do * Silogismo Hipotético (ou condicional): (p q) (q r) p r Se trabalho, ganho direito, e se ganho dinheiro, vou viajar; logo se trabalho vou viajar * É o raciocínio lógico estruturado formalmente a partir de duas proposições/premissas, das quais se obtém por inferência uma terceira (conclusão)
87 3.1) Regra se Inferência 87 8) Regra do Silogismo Disjuntivo (ou Alternativo): (p q) ~p q Ou trabalho ou estudo; não trabalho; logo estudo
88 3.1) Regra se Inferência 88 9) Regra do Silogismo Conjuntivo (ou Incompatibilidade): ~(p q) q ~p É falso que eu estudo e trabalho; eu trabalho; logo não estudo
89 3.1) Regra se Inferência 89 10) Dilema construtivo (p q) (r s) (p r) q s Se eu vou a festa, fico cansado; se eu vejo televisão, durmo; ou vou a festa ou fico vendo televisão; logo ou fico cansado ou durmo
90 3.1) Regra se Inferência 90 11) Dilema Destrutivo (p q) (r s) (~q ~s) ~p ~r Se vou a festa, fico cansado; se vejo televisão, durmo; ou não fico cansado ou não vou dormir; logo, ou não vou à festa ou não vejo televisão
91 3.1) Regra se Inferência 91 12) Regra da Inconsistência *1 (p ~p) p O avião está voando; o avião não está voando; logo, eu sou o Rei da Inglaterra *1- De uma contradição se conclui qualquer proposição
92 3.1) Regra se Inferência 92 13) Modus Ponens (p q) p q Se ganhar na loteria, fico rico; ganhei na loteria; logo fiquei rico
93 3.1) Regra se Inferência 93 14) Modus Tollens (p q) ~q ~p Se ganhar na loteria, fico rico; não fiquei rico; logo, não ganhei na loteria
94 3.1) Regra se Inferência 94 15) Regra da Atenuação p q p q r Se eu ganhar na loteria fico rico; logo se eu ganhar na loteria fico rico ou vou viajar
95 3.1) Regra se Inferência 95 16) Regra de Retorsão ~p q p Se eu não trabalhar, trabalho; logo trabalho
96 Administração de Sistemas de Informação (3.1) Lógica Computacional Parte II Inferência Lógica Exercícios
97 97 Inferência/Equivalência Lógica - Exercícios Diga em cada caso, qual a lei de equivalência está sendo usada. 1. ~(~(P Q)) P Q. 2. (P Q) ~R ~R (P Q) 3. [P (Q R)] [P (Q R)] [P (Q R)] 4. ~(~(~P)) ~P 5. P (Q R) (Q R) P. 6. ~P (Q S) ~(Q S) P.
98 98 Inferência/Equivalência Lógica - Exercícios Diga em cada caso, qual a lei de equivalência está sendo usada. 7. (P ~Q) (~R S) [(P ~Q) ~R] S. 8. ~P Q ~(P ~Q). 9. [P (Q R) (P ~P)] P (Q R). 10. (P R) (R Q) R (P Q). 11. (P Q) ~R ~(P Q R). 12. P Q ~(~P ~Q).
99 99 Inferência/Equivalência Lógica - Exercícios Diga em cada caso, qual a lei de equivalência está sendo usada. 13. [(P R) S] ~Q Q ~(P R) S. 14. (P ~Q) (P Q) (P ~P). 15. (~P ~Q) (Q ~Q) P P. 16. ~(~P (Q R)) ~((~P Q) (~P R)). 17. ~(P Q) R ~(~R (P Q)). 18. (P Q) (~Q ~P) ((P Q) ~Q) ~P.
100 100 Inferência/Equivalência Lógica - Exercícios Diga em cada caso, qual a lei de equivalência está sendo usada. 19. (Q ~R) (R ~R) Q ~R. 20. ~P (Q R) P (Q R).
101 101 Inferência/Equivalência Lógica - Exercícios Diga em cada caso qual a regra de inferência que está sendo usada 1. ~P Q ~P. 2. (P ~Q) Q P. 3. (P ~Q) P ~Q. 4. (~P Q) (Q ~R) (~P ~R). 5. ~P Q ~P. 6. (P (P Q)) P (P Q).
102 102 Inferência/Equivalência Lógica - Exercícios Diga em cada caso qual a regra de inferência que está sendo usada 7. (P ~Q) (Q ~R) (P Q) (~Q ~R). 8. (~P Q) ~Q P. 9. (~P Q) ~Q ~Q. 10. (~P Q) ~P Q. 11. ((P Q) R) ~R (P Q). 12. P ~P R S ~Q.
103 103 Inferência/Equivalência Lógica - Exercícios Diga em cada caso qual a regra de inferência que está sendo usada 13. ((P Q) (P R)) (S R) (~R ~(P R)) (~S ~(P Q)). 14. ((P Q) (R S)) ((R S) ~P) (P Q) ~P. 15. (P Q) (Q R) (Q R). 16. P P ~P. 17. ((R S) R) (R S) R.
104 104 Inferência/Equivalência Lógica - Exercícios Diga em cada caso qual a regra de inferência que está sendo usada 18. (P (P Q)) ~(P Q) ~P. 19. (P Q) (R S) P Q R S. 20. ((P Q) R) ~S R ~R. 21. ((P Q) R) (R (Q P)) (P Q) (Q P). 22. (~(P Q) (Q R) ~(Q P)) (P Q).
105 105 Inferência/Equivalência Lógica - Exercícios Diga em cada caso qual a regra de inferência que está sendo usada 23. ((P Q) R) ~(P Q) R. 24. (~P ~Q) ~P ~Q. 25. (P Q) R (P Q).
106 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: MARÇO DE 2017 Professor: Luís Rodrigo luis.goncalves@ucp.br Site:
LÓ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 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 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 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 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 maisLó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 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 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 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 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 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 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 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 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 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 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 maisn. 11 Argumentos e Regras de Inferência
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
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 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 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 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 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 maisLógica Matemática e Computacional. 2.3 Equivalência Lógica
Lógica Matemática e Computacional 2.3 Equivalência Lógica Equivalência Lógica Definição: Dadas as proposições compostas P e Q, diz-se que ocorre uma equivalência lógica entre P e Q quando suas tabelas-verdade
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 maisÁlgebra Linear e Geometria Analítica
Álgebra Linear e Geometria Analítica Engenharia Electrotécnica Escola Superior de Tecnologia de Viseu www.estv.ipv.pt/paginaspessoais/lucas lucas@mat.estv.ipv.pt 2007/2008 Álgebra Linear e Geometria Analítica
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 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 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 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 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 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 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 maisÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN
ÁLGEBRA DE BOOLE B.1 - DIAGRAMA DE VENN No século XIX Georges Boole desenvolveu uma teoria matemática com base nas leis da lógica - a Álgebra de Boole - cuja aplicação nos circuitos digitais e computadores
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 maisINF 1771 Inteligência Artificial
Edirlei Soares de Lima INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Lógica Proposicional Lógica simples. A sentenças são formadas por conectivos como: e, ou, então.
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 maisMATEMÁTICA DISCRETA CONCEITOS PRELIMINARES
MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Newton José Vieira 21 de agosto de 2007 SUMÁRIO Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova 1 CONJUNTOS A NOÇÃO
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 maisSMA Elementos de Matemática Notas de Aulas
Universidade de São Paulo Instituto de Ciências Matemáticas e de Computação SMA 341 - Elementos de Matemática Notas de Aulas Ires Dias Sandra Maria Semensato de Godoy São Carlos 2009 Sumário 1 Noções
Leia maisLógica Proposicional e Álgebra de Boole
Lógica Proposicional e Álgebra de Boole A lógica proposicional remonta a Aristóteles, e teve como objectivo modelizar o raciocínio humano. Partindo de frases declarativas ( proposições), que podem ser
Leia maisCálculo proposicional
Notas de aula de MAC0329 (2003) 9 2 Cálculo proposicional Referências para esta parte do curso: capítulo 1 de [Mendelson, 1977], capítulo 3 de [Whitesitt, 1961]. Proposição Proposições são sentenças afirmativas
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 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 mais1 TEORIA DOS CONJUNTOS
1 TEORIA DOS CONJUNTOS Definição de Conjunto: um conjunto é uma coleção de zero ou mais objetos distintos, chamados elementos do conjunto, os quais não possuem qualquer ordem associada. Em outras palavras,
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 maisLógica Proposicional Parte I. Raquel de Souza Francisco Bravo 11 de outubro de 2016
Lógica Proposicional Parte I e-mail: raquel@ic.uff.br 11 de outubro de 2016 Lógica Matemática Cáculo Proposicional Uma aventura de Alice Alice, ao entrar na floresta, perdeu a noção dos dias da semana.
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 maisINF 1771 Inteligência Artificial
INF 1771 Inteligência Artificial Aula 06 Lógica Proposicional Edirlei Soares de Lima Lógica Proposicional Lógica muito simplificada. A sentenças são formadas por conectivos como:
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 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 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 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 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 maisMDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos
MDI0001 Matemática Discreta Aula 04 Álgebra de Conjuntos 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
Leia maisOperações Lógicas sobre Proposições
Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Operações Lógicas sobre Proposições Lógica Computacional 1 Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com
Leia maisMatemática discreta e Lógica Matemática
AULA 2 - Proposicionais Prof. Dr. Hércules A. Oliveira UTFPR - Universidade Tecnológica Federal do Paraná, Ponta Grossa Departamento Acadêmico de Matemática Lógicas Proposições compostas - Definição 1
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 maisMATEMÁTICA Questões comentadas Daniela Arboite
MATEMÁTICA Questões comentadas Daniela Arboite TODOS OS DIREITOS RESERVADOS. É vedada a reprodução total ou parcial deste material, por qualquer meio ou processo. A violação de direitos autorais é punível
Leia maisTeoria dos Conjuntos MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES. Fundamentos de Lógica Técnicas Elementares de Prova A NOÇÃO DE CONJUNTO
SUMÁRIO MATEMÁTICA DISCRETA CONCEITOS PRELIMINARES Teoria dos Conjuntos Relações e Funções Fundamentos de Lógica Técnicas Elementares de Prova Newton José Vieira 21 de agosto de 2007 1 A NOÇÃO DE CONJUNTO
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 maisMatemática Discreta - 01
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisLógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução
Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três
Leia maisMatemática Discreta - 04
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 04 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia maisProf. Jorge Cavalcanti
Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 01 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav
Leia mais(Equivalência e Implicação lógica aula 10
Aula 2 (Equivalência e Implicação lógica aula 10 Professor: Renê Furtado Felix - Faculdade: UNIP E-mail: rffelix70@yahoo.com.br - Site: renecomputer.net Equivalência em Lógica Logica - Professor Renê F
Leia maisaula 01 (Lógica) Ementa Professor: Renê Furtado Felix Site:
aula 01 (Lógica) Ementa Professor: Renê Furtado Felix E-mail: rffelix70@yahoo.com.br Site: http://www.renecomputer.net/pdflog.html Plano de Ensino CURSO: Tecnologia em Análise e Desenvolvimento de Sistemas
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 maisLÓGICA MATEMÁTICA. Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte: RELEMBRANDO 23/02/2016
LÓGICA MATEMÁTICA Prof. Esp. Fabiano Taguchi fabianotaguchi@gmail.com http://fabianotaguchi.wordpress.com RELEMBRANDO Quando a precedência não estiver explicitada através de parênteses, a ordem é a seguinte:
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 maisConceitos Básicos Projeto Novos Talentos - CAPES Computação no Ensino Fundamental Atividade 1 Parte 2 Prof: João Bosco m. Sobral / Prof.
Conceitos Básicos Projeto Novos Talentos - CAPES Computação no Ensino Fundamental Atividade 1 Parte 2 Prof: João Bosco m. Sobral / Prof. Fernando Cruz Lógica é um tema fascinante. Mas o que é Lógica? Qual
Leia maisLógica Matemática. Lógica Matemática. Lógica Matemática. Lógica Matemática. Lógica Matemática. Lógica Matemática
Lógica é a disciplina que lida com métodos de raciocínio. Lógica é o estudo sistemático da estrutura das proposições e das condições gerais de inferências válidas, por um método que abstrai o conteúdo
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 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 maisMATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP
1 MATEMÁTICA DISCRETA CÁLCULO PROPOSICIONAL PROFESSOR WALTER PAULETTE FATEC SP 2009 02 2 CÁLCULO PROPOSICIONAL 1. Proposições Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas
Leia mais3.4 Fundamentos de lógica paraconsistente
86 3.4 Fundamentos de lógica paraconsistente A base desta tese é um tipo de lógica denominada lógica paraconsistente anotada, da qual serão apresentadas algumas noções gerais. Como já foi dito neste trabalho,
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 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 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 maisLógica e Raciocínio. Lógica Proposicional. Universidade da Madeira.
Lógica e Raciocínio Universidade da Madeira http://dme.uma.pt/edu/ler/ Lógica Proposicional 1 Proposição Uma rase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F) ou Verdadeiro
Leia maisPara provar uma implicação se p, então q, é suficiente fazer o seguinte:
Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que
Leia maisINE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA
INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA COMPUTAÇÃO PROF. MAURO ROISENBERG UFSC - CTC - INE Prof. Mauro Roisenberg - UFSC/CTC/INE/2007 p. 1 LÓGICA MATEMÁTICA Lógica é uma ciência de índole Matemática
Leia maisMAT I Solução dos Exercícios para os dias 20, 25 e 27/08/ Simbolize as sentenças a seguir, definindo as letras de proposição usadas.
MAT I 2004-2 Solução dos Exercícios para os dias 20, 25 e 27/08/04 1. Simbolize as sentenças a seguir, definindo as letras de proposição usadas. a. A B, onde A:= Alfredo gosta de dançar e B:= Alfredo gosta
Leia maisMatemática para Ciência de Computadores
Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Fundamentos de Lógica No nosso dia a dia, usamos todo o tipo de frases: Cinco é menor
Leia maisTABELA VERDADE. por: André Aparecido da Silva. Disponível em:
TABELA VERDADE por: André Aparecido da Silva Disponível em: http://www.oxnar.com.br/aulas/logica Normalmente, as proposições são representadas por letras minúsculas (p, q, r, s, etc). São outros exemplos
Leia maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Proposições frases AFIRMATIVAS que aceitam julgamento: Verdadeiro - Acontece Falso - Não acontece Há frases que não aceitam valorações lógicas Verdadeiro/Falso Exemplos: 1) Interrogativas:
Leia maisIntrodução a computação
Introdução a computação 0 Curso Superior de Tecnologia em Gestão da Tecnologia da Informação Coordenador: Emerson dos Santos Paduan Autor(a): Daniel Gomes Ferrari São Paulo - 2016 1 Sumário 1. Lógica Matemática...
Leia maisQuestões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO. Prof. Fabrício Biazotto
Questões de Concursos Aula 02 CEF RACIOCÍNIO LÓGICO Prof. Fabrício Biazotto Raciocínio Lógico 1. Considere as afirmações: I. A camisa é azul ou a gravata é branca. II. Ou o sapato é marrom ou a camisa
Leia maisLógica Proposicional (cont.)
Lógica Proposicional (cont.) Conectivos lógicos Conjunção (e: ^) Disjunção (ou: v) Negação (não : ~) Condicional (se...então: ) Bicondicional (se somente se: ) 1 Negação de um proposição composta Negar
Leia maisINTRODUÇÃO À LÓGICA MATEMÁTICA
INTRODUÇÃO À LÓGICA MATEMÁTICA Matemática Aplicada a Computação rofessor Rossini A M Bezerra Lógica é o estudo dos princípios e métodos usados para distinguir sentenças verdadeiras de falsas. Definição
Leia maisLógica Computacional
Aula Teórica 4: Semântica da Lógica Proposicional António Ravara Simão Melo de Sousa Departamento de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa Departamento de Informática,
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 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 mais22. Análise Combinatória - Permutação - Repetição - Circular - Condicional Análise Combinatória - Combinação e Arranjo
Conteúdo 1. Conceitos Iniciais... 6 2. Proposições [1]... 7 3. Proposições [2] Tautologia - Contradição - Contigência... 8 4. Não são Proposições... 9 5. Lógica argumentativa Negação... 10 6. Lógica argumentativa
Leia maisCAPÍTULO 4 Cálculo proposicional
CÁLCULO PROPOSICIONAL 1. PROPOSIÇÕES Uma proposição é uma sentença declarativa que pode ser verdade ou falsa, mas não ambas. As proposições podem ser divididas em proposições simples e compostas. 1.1.
Leia maisFundamentos da Computação 1. Aula 03
Fundamentos da Computação 1 Aula 03 Conteúdo Introdução à Lógica. Definição da Sintaxe. Traduzindo Sentenças. Introdução à Lógica O que é lógica? Introdução à Lógica O que é lógica? Lógica é a análise
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 maisLógica Matemática - LMA 0001
Lógica Matemática - LMA 0001 Rogério Eduardo da Silva - rogerio.silva@udesc.br Claudio Cesar de Sá - claudio.sa@udesc.br Universidade do Estado de Santa Catarina Departamento de Ciência da Computação 5
Leia maisArgumentação em Matemática período Prof. Lenimar N. Andrade. 1 de setembro de 2009
Noções de Lógica Matemática 2 a parte Argumentação em Matemática período 2009.2 Prof. Lenimar N. Andrade 1 de setembro de 2009 Sumário 1 Condicional 1 2 Bicondicional 2 3 Recíprocas e contrapositivas 2
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 mais