Espaços pseudo-topológicos e descrições do conceito de plausível
|
|
- Luiz Felipe Ximenes
- 5 Há anos
- Visualizações:
Transcrição
1 Espaços pseudo-topológicos e descrições do conceito de plausível Tiago Augusto dos Santos Boza Hércules de Araujo Feitosa Resumo A estrutura de espaço pseudo-topológico é uma variação do conceito de espaço topológico. Surgiu como uma formalização de um quantificador de primeira ordem não definível a partir dos usuais operadores existencial e universal, nomeado de o quantificador do plausível. Posteriormente, buscou-se uma formalização no contexto lógico proposicional, dada num sistema dedutivo e axiomático, com modelo algébrico. Apresentaremos estas concepções formais e como uma contribuição original, descrevemos a versão proposicional da lógica dos espaços pseudo-topológicos em tableaux. Palavras Chave: Espaços pseudo-topológicos, Lógica modal, Sistema de axiomas, Modelos algébrico, Tableaux. Introdução Grácio [6] procurou formalizar quantificadores não lógicos que contemplassem aspectos do processo de generalização desenvolvido nos raciocínios indutivos. Quantificadores não lógicos são quantificadores distintos dos quantificadores e, e que não podem ser definidos a partir destes usais quantificadores. Estes novos quantificadores deveriam expressar proposições gerais, entretanto distintas do todo, do universal. Para tanto, precisou de estruturas matemáticas que pudessem interpretar estes novos quantificadores com alguma sensatez intuitiva e interação com os demais aspectos da lógica. Uma estrutura que surgiu nessa busca foi a de espaço pseudo-topológico, que é uma variação do usual conceito de espaço topológico. Esta estrutura foi idealizada como espaço de interpretação do quantificador para uma boa parte (cf. [6]), o quantificador do plausível. Num primeiro momento, este conceito foi chamado de espaço topológico reduzido, mas posteriormente foi denominado de espaço pseudotopológico. A partir desta estrutura, foi apresentada a lógica do plausível de [6], que formaliza o conceito a partir de quantificadores estendidos, depois uma lógica proposicional com operador de caráter modal (cf. [3]), motivada pela lógica do plausível, boza.tiago@gmail.com. Mestrado em Filosofia, Unesp - FFC - Marília haf@fc.unesp.br. Departamento de Matemática, Unesp - FC - Bauru 4
2 que formaliza aspectos do conceito de plausível no contexto proposicional e com modelos algébricos. Apesar da motivação, as duas versões de lógica têm flexões nas suas fundações. Por outro lado, o método dos tableaux é baseado na refutação, de maneira que para se verificar a validade de uma fórmula ψ em um sistema lógico, considera-se como hipótese a sua negação, ou seja, toma-se ψ e, então, utilizando uma estrutura que se assemelha a uma árvore, são aplicadas as regras do sistema de tableaux. Baseamos nossas construções para tableaux nos textos [12] e [10]. Como uma contribuição original, apresentamos esta versão da lógica proposicional dos espaços pseudo-topológicos numa versão de tableaux, a qual mostramos ser equivalente à versão axiomática de [3]. 1 Espaços pseudo-topológicos O conceito de espaço pseudo-topológico foi introduzido por Grácio [6], para interpretar o novo quantificador P, que gera sentenças do tipo P xφ(x). Esta sentença tem o entendimento de que φ(x) vale para uma boa parte dos indivíduos do domínio que interpretam a variável, ou ainda, conforme [1], que o conceito φ(x) é ubíquo neste universo. Definição 1.1 Espaço pseudo-topológico é um par (E, Ω), em que E é um conjunto não vazio e Ω P(E) de maneira que: (E 1 ) se A, B Ω, então A B Ω (E 2 ) se A, B Ω, então A B Ω (E 3 ) E Ω (E 4 ) / Ω. Definição 1.2 Os elementos do conjunto Ω são os abertos do espaço pseudo-topológico (E, Ω) e se A C Ω, então A é um conjunto fechado no espaço (E, Ω). Exemplo 1.3 Sejam E e Ω = {E}. Certamente / Ω, mas E Ω. As condições (E 1 ) e (E 2 ) são trivialmente satisfeitas. Então, (E, Ω) é um espaço pseudo-topológico. Exemplo 1.4 Seja E. Para a E, tomemos Ω = {B E : a B}. Então, de modo óbvio verificamos que / Ω, mas E Ω. E dessa forma obtemos que (E, Ω) é um espaço pseudo-topológico. Proposição 1.5 Se (E, Ω) é um espaço pseudo-topológico, então dois quaisquer abertos de Ω não são disjuntos. Demonstração: Se A e B são dois abertos disjuntos, pelo axioma (E 1 ), A B Ω, mas isto contradiz o axioma (E 4 ), pois neste caso A B =. Assim, conjuntos disjuntos não podem ser simultaneamente abertos. Segue daí, que não podem existir dois conjuntos unitários distintos e abertos. 2 A motivação quantificacional A formalização lógica quantificacional do espaços pseudo-topológicos surgiu em [6] como uma extensão da lógica clássica de primeira ordem com igualdade L. Para detalhes sobre L ver [2] ou [4]. Foi denominada por Grácio de lógica do plausível e 5
3 denotada por L(P ). Dada L, a lógica estendida L(P ) é determinada pelos seguintes acréscimos: - a linguagem L de L(P ) conta com um novo símbolo de quantificador P e sentenças do tipo P xφ(x) são bem formadas em L(P ). - axiomas específicos do quantificador P : (A 1 ) P xφ(x) P xψ(x) P x(φ(x) P xψ(x)) (A 2 ) P xφ(x) P xψ(x) P x(φ(x) P xψ(x)) (A 3 ) xφ(x) P xφ(x) (A 4 ) P xφ(x) xφ(x) (A 5 ) x(φ(x) ψ(x)) (P xφ(x) P xψ(x)) (A 6 ) P xφ(x) P yφ(y), se y é livre para x em φ(x). - regras de dedução: (MP) Modus Ponens: φ, φ ψ ψ (Gen) Generalização: φ xφ(x). Os demais conceitos sintáticos usuais como sentença, demonstração, teorema, dedução, consistência e outros são definidos do modo padrão. As estruturas adequadas para L(P ), denominadas por Grácio de estrutura do plausível, também são extensões das estruturas de primeira ordem A. Assim dada uma estrutura A, consideremos que o seu domínio seja denotado por A. Uma estrutura do plausível, denotada por A Ω, é determinada a partir A pelo acréscimo de um espaço pseudo-topológico Ω sobre o universo A. A interpretação dos símbolos de relação, função e constante é a mesma de L com relação à A. Definição 2.1 A satisfação de uma sentença do tipo P xφ(x) em A Ω é definida indutivamente por: - se φ é uma fórmula cujas variáveis livres estão em {x} {y 1,..., y n } e a = (a 1,..., a n ) é uma sequência de elementos de A, então: A Ω P xφ[x, a] {b A : A Ω [b, a]} Ω. Da maneira usual, para a sentença P xφ(x): A Ω P xφ(x) {a A : A Ω φ(a)} Ω. As outras noções semânticas como modelo, validade, implicação lógica, entre outras, são apropriadamente adaptadas a partir da interpretação de L em A. Grácio [6] provou que as estruturas do plausível são modelos corretos e completos para L(P ). 3 Uma formalização axiomática e proposicional Apresentamos a versão proposicional da lógica do plausível, conforme [3], que procura formalizar os aspectos de um espaço pseudo-topológico no contexto lógico 6
4 proposicional, sem a presença dos quantificadores, inclusive o do plausível, que é substituído por um operador unário. Esta lógica será denotada por L( ). Como mencionado, ela estende a lógica proposicional clássica (LPC) na linguagem L(,,, ) com o acréscimo do operador unário, donde obtemos a linguagem proposicional L(,,,, ). A lógica fica determinada pelo seguinte: - Axiomas: (Ax 0 ) LPC (Ax 1 ) ( φ ψ) (φ ψ) (Ax 2 ) φ (φ ψ) (Ax 3 ) φ φ (Ax 4 ) (φ φ). - Regras de dedução: (MP ) Modus Ponens (RE ) φ ψ / φ ψ. A intuição para este operador do plausível é de algo que pode ser explicado numa teoria sem provocar inconsistência. Assim, o plausível não se assemelha ao possível, pois podemos ter: é possível que chova amanhã e é possível que não chova amanhã, porém não é possível que chova e não chova amanhã. O conceito está vinculado, por exemplo, com a existência de uma demonstração de um fato numa teoria consistente. Assim, não pode haver uma prova de φ e uma outra de φ. Diante disso, φ e ψ são plausíveis se, e somente se, φ ψ é plausível. Toda tautologia é plausível e se φ é plausível, então vale a proposição φ. A regra (RE ) é de entendimento direto. A proposição seguinte mostra que poderíamos trocar o (Ax 2 ) pela condição do enunciado à direita. Assim, podemos intercambiar estas condições e preservar o sistema. Proposição 3.1 φ (φ ψ) ( φ ψ) (φ ψ). Demonstração: ( ) Da hipótese, φ (φ ψ) e ψ (φ ψ). Daí, ( φ ψ) (φ ψ). ( ) Como φ ( φ ψ), então segue da hipótese que φ (φ ψ). Proposição 3.2 (i) (ii) φ φ (iii) φ φ (iv) φ φ (v) φ φ. 4 Álgebras dos espaços pseudo-topológicos Agora, apresentamos a álgebra do plausível, que corresponde à versão algébrica da lógica da seção anterior, conforme [3]. 7
5 Definição 4.1 Álgebra do plausível é uma estrutura P = (P, 0, 1,,,, ), em que (P, 0, 1,,, ) é uma álgebra de Boole e é o operador do plausível, sujeito a: (a 1 ) a b (a b) (a 2 ) a (a b) (a 3 ) a a (a 4 ) 1 = 1. Definição 4.2 Um elemento a P é plausível se a 0 e a = a. Embora 0 = 0, por definição, 0 não é plausível. Proposição 4.3 Se P = (P, 0, 1,,,, ) é uma álgebra do plausível e a, b P, então: (i) a (a b) (ii) a b a b (iii) a b (a b). Proposição 4.4 Para cada álgebra do plausível P = (P, 0, 1,,,, ) existe um monomorfismo h de P num espaço pseudo-topológico de conjuntos definidos em P(P(P )). Em [3] há uma demonstração da adequação de L( ) com relação às álgebras do plausível P, isto é, Γ γ Γ γ. A interpretação de L( ) numa pseudo-topologia (E, Ω) é uma função com as seguintes características: As sentenças universais, que valem para todos os indivíduos, são agora tomadas pelas tautologias, que são interpretados no universo E da pseudo-topologia. Se φ e ψ estão Ω e, portanto, são ubíquos, então o mesmo vale φ ψ. Se φ ou ψ está Ω, então o mesmo vale φ ψ. Esta condição implica que se φ, ψ Ω, então φ ψ Ω, mas não é equivalente a (E 2 ). Aqui está uma variação entre os dois sistemas. Se φ e ψ são equivalentes, então uma delas é interpretada num conjunto de uma pseudo-topologia se, e somente se, também a outra é interpretada no mesmo conjunto. A interpretação de não pode estar Ω. Para tanto, usamos o axioma (Ax 3 ) que implica esta condição no contexto proposicional. Mas também é mais geral que (E 4 ). Talvez possamos, em algum momento, refinar estas variações, mas por ora assumamos a lógica L( ). 5 Tableaux para a lógica L( ) Tendo em conta os sistemas de tableaux de [12] e [10] introduziremos um sistema de tableaux para L( ). Daremos as regras dos tableaux e para mostrarmos a equivalência entre os dois sistemas dedutivos, mostraremos que se φ é um teorema de L( ), então o seu tableau fecha e, por outro lado, se o tableau da fórmula φ fecha, então ela é um teorema de L( ). O sistema de tableaux a ser desenvolvido nesta seção deve ser algorítmico e, tanto quanto possível, preservar as características dos tableaux clássicos. Deve derivar exatamente o mesmo que o sistema axiomático L( ), nem mais, nem menos. 8
6 Denotaremos por T L(P ) a lógica proposicional do plausível na versão de tableaux. A linguagem do sistema T L(P ) é determinada a partir da formalização dos tableaux da LPC introduzidos em [12], acrescida apenas dos seguintes itens: (i) O alfabeto de T L(P ) é constituído pelos itens apresentados em [12], acrescido do operador. (ii) O conjunto de fórmulas de T L(P ) coincide com o conjunto de fórmulas de L( ), da Seção 3. (iii) O conjunto de regras de dedução do sistema T L(P ) é formado pelas regras de dedução dos tableaux para a LPC de [12], acrescido das regras de dedução específicas para o operador, que serão introduzidas a seguir. (iv) Um ramo de um tableau de T L(P ) fecha ao obtermos φ e φ no mesmo ramo, ou ainda, se ocorrer o símbolo de contradição. (v) Regras de expansão: as regras de expansão de T L(P ) para o operador são as seguintes: (R 1 ) φ φ A motivação para esta regra vem, naturalmente, do axioma (Ax 3 ). (R 2 ) ( φ) ( φ) Esta regra nos conduz à validade do axioma (Ax 4 ) e, ainda, nos dá o caráter algorítmico que pretendemos em nosso sistema. Quando encontramos uma expressão φ na árvore, testamos φ. Se a fórmula φ é válida, isto é, o tableau de φ fecha, então incluímos e fechamos o tableau, pois como φ é válida, tem que valer φ. Agora, se φ não é válida, então expandimos o tableau com uma das regras seguintes: (R 3 ) (R 4 ) (φ ψ) φ ψ (φ ψ) φ ψ As regras (R 3 ) e (R 4 ) dão conta dos axiomas (Ax 1 ) e (Ax 2 ). (R 5A ) (R 5B ) (φ ψ) ( φ ψ) (φ ψ) [(φ ψ) (ψ φ)] As regras (R 5A ) e (R 5B ) têm apenas a função de dar caráter algorítmico ao tableau, ao dizer exatamente qual caminho seguir. φ ψ (R 6 ) ( φ ψ) ( φ ψ) 9
7 Finalmente, a regra (R 6 ) tem a incumbência de validar a regra (R ), que apenas se aplica sobre bicondicionais sabidamente válidas. Agora, mostraremos alguns resultados importantes, por tableaux, demonstrados na versão axiomática da lógica proposicional do plausível. Proposição 5.1 Nenhuma contradição é plausível. Demonstração: Mostramos que o tableau de (φ φ) fecha. Portanto, mostramos o desejado. Proposição 5.2 φ φ. Demonstração: Portanto, φ φ. (φ φ) (φ φ) φ φ φ φ φ φ A seguir, mostraremos a equivalência do sistema Hilbertiano L( ) para a lógica proposicional do plausível, com relação ao sistema de tableaux T L(P ) introduzido acima. Mais especificamente, mostraremos que o tableau de cada teorema de L( ) fecha e, por outro lado, que a cada regra de T L(P ) está associada uma dedução completamente lícita em L( ). A proposição seguinte, por vezes, é chamado de Teorema da Correção. Contudo, como também chamamos de Teorema da Correção a validação dos teoremas de L( ) nos seus respectivos modelos, vamos chamar esta direção do resultado apenas de Ida. Proposição 5.3 (Ida) Γ γ Γ γ. Demonstração: Por indução sobre o comprimento da dedução de φ a partir de Γ. Para n = 1, temos que γ pertence a Γ ou γ é um axioma de L( ). (i) Se γ Γ, então, para este tableau, afirmamos os elementos de Γ e negamos a conclusão γ. Logo, γ ocorre afirmada e negada e o tableau fecha. (ii) Se γ é um dos axiomas da LPC, nada temos a demonstrar, pois o resultado foi mostrado em [12]. (iii) Seja γ é um dos axiomas específicos da lógica proposicional do plausível. Mostraremos que fecha o tableau de cada cada axioma do seguinte modo: Γ γ, em que γ representa o axioma. - Para (Ax 1 ), temos ( φ ψ) (φ ψ): Γ φ ψ (φ ψ) 10
8 φ ψ φ ψ - Para (Ax 2 ), temos ( φ ψ) (φ ψ): - Para (Ax 3 ), temos φ φ: - Para (Ax 4 ), temos: (φ φ): Γ φ ψ (φ ψ) φ ψ φ ψ Γ φ φ φ Γ (φ φ) (φ φ) (vi) Agora, consideremos uma dedução Γ γ, com 1 < n. Como Hipótese de Indução assumimos que para todos os passos anteriores ao passo n o tableau correspondente à dedução fecha. Daí, devemos mostrar que também a dedução do passo n fecha. Assim, para Γ γ, temos três possibilidades: (i) γ Γ, (ii) γ é um axioma de L( ) ou (iii) γ é deduzida de Γ através de uma das duas regras de dedução de L( ). Para os itens (i) e (ii), justificação é a mesma feita na base da indução. Justificamos, então, o item (iii). Se a regra usada é a MP, então a mesma justificativa de [12] se aplica. Se a regra usada é a (RE ), então temos o seguinte: Γ φ ψ e, então, no último passo da dedução obtemos Γ φ ψ. Pela hipótese de indução, o tableau de Γ φ ψ fecha e precisamos mostrar que o tableau de Γ φ ψ fecha. Γ ( φ ψ) ( φ ψ) ( ψ φ) φ ψ ψ φ 11
9 φ φ φ φ ψ ψ ψ ψ Pela hipótese de indução sabemos que o tableau para Γ {φ ψ} fecha, daí podemos aplicar a regra (R 6 ) para a última parte do tableau. Com isto, concluímos que Γ γ Γ γ. Para a recíproca, mostraremos que a cada regra do sistema T L(P ) corresponde uma dedução de L( ). Essas deduções usarão o princípio da redução ao absurdo (RAA) ou dedução indireta, quando assumiremos o conjunto de premissas Γ e negaremos a tese γ e, então, obteremos uma contradição que denotamos por. Proposição 5.4 (Volta) Γ γ Γ γ. Demonstração: Para cada regra de T L(P ) será obtida uma dedução: - Para a regra (R 1 ), temos: 1. Γ φ p. 2. Γ φ p.p. 3. Γ φ φ (Ax 3 ) 4. Γ φ Modus Ponens em 1 e 3 5. Γ φ φ Conjunção em 2 e 4 6. Γ RAA de 2 a 5; - Para a regra (R 2 ), temos: 1. Γ φ p. 2. Γ φ p. 3. Γ φ (ψ ψ) Equivalência de Teoremas 4. Γ φ (ψ ψ) (R ) em 3 5. Γ (ψ ψ) (Ax 4 ) 6. Γ (ψ ψ) φ CPC em 4 7. Γ φ Modus Ponens em 5 e 6 8. Γ φ φ Conjunção em 1 e 7 9. Γ Equivalência em 8; Temos então que Γ φ e Γ φ geram uma contradição Γ e, portanto, não podem ser concomitantemente aceitos. - Para a regra (R 3 ), temos: 1. Γ (φ ψ) p. 2. Γ ( φ ψ) p.p. 3. Γ φ ψ De Morgan em 2 4. Γ φ ψ (φ ψ) (Ax 1 ) 5. Γ (φ ψ) Modus Ponens em 3 e 4 6. Γ (φ ψ) (φ ψ) Conjunção em 1 e 5 7. Γ RAA de 1 a 6; - Para a regra (R 4 ), temos: 1. Γ (φ ψ) p. 2. Γ ( φ ψ) p.p. 3. Γ φ ψ De Morgan em 2 12
10 4. Γ ( φ ψ) (φ ψ) (Ax 2 ) 5. Γ (φ ψ) Modus Ponens em 3 e 4 6. Γ (φ ψ) (φ ψ) Conjunção em 1 e 5 7. Γ RAA de 1 a 6; - Para a regra (R 5A ), temos: 1. Γ (φ ψ) p. 2. Γ ( φ ψ) p.p. 3. Γ ( φ ψ) Dupla Negação em 2 4. Γ (φ ψ) Equivalência em 3 5. Γ (φ ψ) (φ ψ) Conjunção em 1 e 4 6. Γ RAA de 1 a 5; - Para a regra (R 5B ), temos: 1. Γ (φ ψ) p. 2. Γ ((φ ψ) (ψ φ)) p.p. 3. Γ ((φ ψ) (ψ φ)) Dupla Negação em 2 4. Γ (φ ψ) Equivalência em 3 5. Γ (φ ψ) (φ ψ) Conjunção em 1 e 4 6. Γ RAA de 1 a 5; - Para a regra (R 6 ), temos: 1. Γ φ ψ p. 2. Γ ( φ ψ) p.p. 3. Γ ( φ ψ) p.p. 4. Γ ( φ ψ) CPC em 2 e 3 5. Γ φ ψ (R ) em 1 6. Γ ( φ ψ) ( φ ψ) Conjunção em 5 e 6 7. Γ RAA de 2 a 6. Com esses resultados concluímos que Γ γ Γ γ. Teorema 5.5 (Adequação Forte) Γ γ Γ γ Γ γ. Demonstração: Segue imediatamente das proposições anteriores e Corolário 5.5 de [3]. Da proposição acima concluímos que o presente artigo estabelece a equivalência entre a lógica proposicional do plausível em versão axiomática L( ) com o sistema de tableaux T L(P ). Considerações finais O presente artigo mostra a equivalência entre a lógica proposicional do plausível na versão axiomática ou Hilbertiana L( ) e sua versão em tableaux T L(P ), que foi introduzida neste artigo. O sistema T L(P ) procurou espelhar a lógica proposicional do plausível através de seus axiomas, que, neste caso, resgatam muito dos seus modelos. Contudo, não temos claro que seja o único, nem o melhor sistema de tableaux para esta lógica. A tradição de tableaux para lógicas modais usa, com bastante frequência, variações nas relações dadas nos seus modelos, pois também, com frequência, tratam de lógicas modais normais, que admitem o axioma modal K e, daí, os modelos de 13
11 Kripke. Porém, a lógica proposicional do plausível seria, no contexto modal, uma lógica subnormal e os modelos de Kripke não se aplicam de modo imediato. Assim, ao gerarmos T L(P ), julgamos conveniente olharmos para os axiomas e buscar regras que os replicassem no sistema de tableaux. Um sistema de tableaux é considerado eficiente por ser baseado no princípio das subfórmulas. No entanto, este princípio não está integralmente presente nesta formulação. Mesmo assim, tentamos, de certa forma, obedecer tal princípio. De qualquer modo, o sistema apresentado permite a decisão de toda fórmula de L( ) o que é dedutivamente uma enorme vantagem. Quando não conhecemos uma dedução para uma dada fórmula, é difícil decidir se esta é ou não um teorema do sistema dedutivo, mas no sistema T L(P ) esta decisão é sempre possível. Agradecimentos Agradecemos apoio da Fapesp e do CNPq. Referências [1] CARNIELLI, W.; GRÁCIO M. C. C. Modulated logics and flexible reasoning. Logic and logical philosophy, v. 17, n. 3, p , [2] EBBINGHAUS, H. D.; FLUM, J.; THOMAS, W. Mathematical logic. New York: Springer-Verlag, [3] FEITOSA, H. A.; NASCIMENTO, M. C.; GRÁCIO, M. C. C. A propositional version of the logic of the plausible. In: MORTARI, C. A.; DUTRA, L. H. A. Anais V Simpósio Internacional Principia. Florianópolis: NEL/UFSC, p , (Coleção Rumos da epistemologia, v. 9). [4] FEITOSA, H. A.; PAULOVICH, L. Um prelúdio à lógica. São Paulo: Editora Unesp, [5] GENTZEN, G. The collected papers of Gerhard Gentzen. Amsterdam: North- Holland, [6] GRÁCIO, M. C. C. Lógicas moduladas e raciocínio sob incerteza. Tese de Doutorado em Filosofia. Campinas: Unicamp/IFCH, [7] MIRAGLIA, F. Cálculo proposicional: uma interação da álgebra e da lógica. Campinas: Unicamp/CLE, (Coleção CLE, v. 1). [8] MORTARI, C. A. Introdução à lógica. São Paulo: Editora Unesp, [9] PRIEST, G. An introduction to non-classical logic. Cambridge: University Press, [10] SILVA, F. S. C.; FINGER, M.; MELO, A. C. V. Lógica para computação. São Paulo: Thomson, [11] SILVESTRINI, L. H. C. Tableaux e indução na lógica do plausível. Dissertação de Mestrado em Filosofia. Marília: Unesp, [12] SMULLYAN, R. First-order logic. Amsterdam: North-Holland,
Espaços quase topológicos: o caso em que cada conjunto fechado é também aberto. Introdução. Hércules de A. Feitosa, Mauri C.
Espaços quase topológicos: o caso em que cada conjunto fechado é também aberto Hércules de A. Feitosa, Mauri C. do Nascimento, Departamento de Matemática, FC, UNESP, 17033-360, Bauru, SP E-mail: haf@fc.unesp.br,
Leia maisSemântica relacional para a lógica proposicional do
Semântica relacional para a lógica proposicional do plausível Tiago Augusto dos Santos Boza Hércules de Araujo Feitosa arxiv:1603.07606v1 [math.lo] 22 Mar 2016 25 de março de 2016 Resumo Esse artigo tem
Leia maisA LÓGICA PROPOSICIONAL DO QUASE SEMPRE
Revista Eletrônica de Filosofia Philosophy Eletronic Journal ISSN 1809-8428 São Paulo: Centro de Estudos de Pragmatismo Programa de Estudos Pós-Graduados em Filosofia Pontifícia Universidade Católica de
Leia maisUm novo sistema de axiomas para a lógica paraconsistente J 3
Um novo sistema de axiomas para a lógica paraconsistente J 3 Hércules de Araujo Feitosa Gabriel Alexandre da Cruz Ana Cláudia de Jesus Golzio Resumo We investigate the paraconsistent logic J 3. As original
Leia maisLógica da Verdade Pragmática apresentada num sistema dedutivo de Tableaux
Lógica da Verdade Pragmática apresentada num sistema dedutivo de Tableaux Logic of Pragmatic Truth presented in a Tableaux deductive system ISSN 36-9664 Volume 7, dez. 06 Edição ERMAC Helen Gomes da Silva
Leia maisUM SISTEMA DE TABLEAUX PARA A LÓGICA PARACONSISTENTE J3
UM SISTEMA DE TABLEAUX PARA A LÓGICA PARACONSISTENTE J3 A TABLEAUX SYSTEM FOR THE PARACONSISTENT LOGIC J 3 Helen Gomes da Silva 1 Hércules de Araujo Feitosa 2 Gabriel Alexandre da Cruz 3 Resumo: A Lógica
Leia maisA LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX THE TK LOGIC IN NATURAL DEDUCTION, SEQUENT CALCULUS AND TABLEAUX
A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX THE TK LOGIC IN NATURAL DEDUCTION, SEQUENT CALCULUS AND TABLEAUX Ana Claudia de Jesus Golzio * Angela Pereira Rodrigues * Resumo: (Feitosa,
Leia maisQuantificadores Modulados e o Método da Semântica de Sociedades
Trabalho apresentado no XXXV CNMAC, Natal-RN, 2014. Quantificadores Modulados e o Método da Semântica de Sociedades Luiz Henrique C. Silvestrini Departamento de Matemática, FC, UNESP 17033-360, Bauru,
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 maisLÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE * * *
LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE MODAL LOGIC OF THE CONSEQUENCE OPERATOR: HISTORICAL REVIEW, POLYNOMIAL REPRESENTATION AND DECIDABILITY Hércules
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 maisUNIVERSIDADE ESTADUAL PAULISTA CAMPUS UNIVERSITÁRIO DE BAURU FACULDADE DE CIÊNCIAS DEPARTAMENTO DE MATEMÁTICA
UNIVERSIDADE ESTADUAL PAULISTA CAMPUS UNIVERSITÁRIO DE BAURU FACULDADE DE CIÊNCIAS DEPARTAMENTO DE MATEMÁTICA A LÓGICA TK NOS SISTEMAS: HILBERTIANO, DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX. Mini-curso
Leia maisUMA PROVA DE CONSISTÊNCIA
UMA PROVA DE CONSISTÊNCIA Felipe Sobreira Abrahão Mestrando do HCTE/UFRJ felipesabrahao@gmail.com 1. INTRODUÇÃO Demonstradas por Kurt Gödel em 1931, a incompletude da (ou teoria formal dos números ou aritmética)
Leia maisSobre a compacidade lógica e topológica
Sobre a compacidade lógica e topológica Hércules de Araujo Feitosa Mauri Cunha do Nascimento Marcelo Reicher Soares Resumo Os ambientes da Lógica e da Topologia têm a compacidade como uma propriedade importante.
Leia maisLógicas Construtivas: Intuicionismo, uma
Lógicas Construtivas: Intuicionismo, uma Introdução Ricardo Bianconi 1 Introdução Vamos tratar agora de Lógicas Construtivas, ou seja, aquelas em que se admitem apenas argumentos construtivos. O que seriam
Leia maisFórmulas da lógica proposicional
Fórmulas da lógica proposicional As variáveis proposicionais p, q, são fórmulas (V P rop ) é fórmula (falso) α e β são fórmulas, então são fórmulas (α β), (α β), (α β) e ( α) DCC-FCUP -TAI -Sistemas Dedutivos
Leia maisJOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa
JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 21 de maio de 2008 1 A linguagem da Lógica Proposicional Introdução Alfabeto da Lógica Proposicional Definição 1.1 (alfabeto)
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 maisMUITOS : FORMALIZANDO UM CONCEITO IMPRECISO
20 MUITOS : FORMALIZANDO UM CONCEITO IMPRECISO Maria Claudia Cabrini Grácio Faculdade de Filosofia e Ciências Universidade Estadual Paulista cabrini@marilia.unesp.br Hércules de Araújo Feitosa Faculdade
Leia maisUNIVERSIDADE ESTADUAL PAULISTA
UNIVERSIDADE ESTADUAL PAULISTA FACULDADE DE FILOSOFIA E CIÊNCIAS PÓS-GRADUAÇÃO EM FILOSOFIA CAMPUS DE MARÍLIA ANA CLAUDIA DE JESUS GOLZIO Elementos algébricos para a noção de poucos e sua formalização
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 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 maisUm modelo algébrico do quantificador da ubiquidade
Um modelo algébrico do quantificador da ubiquidade Tiago Augusto dos Santos Boza Hércules de Araujo Feitosa 18 de abril de 2018 arxiv:1603.07607v1 [math.lo] 22 Mar 2016 Resumo O objetivo desse artigo é
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 maisCompletude diz-se em Vários Sentidos
Completeness can be said in Several Meanings Edelcio Gonçalves de Souza Pontifícia Universidade Católica de São Paulo (PUC-SP) edelcio@pucsp.br Resumo: A partir de um raciocínio equivocado acerca do significado
Leia maisLógica Proposicional. LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08. c Inês Lynce c Luísa Coheur
Capítulo 2 Lógica Proposicional Lógica para Programação LEIC - Tagus Park 2 o Semestre, Ano Lectivo 2007/08 c Inês Lynce c Luísa Coheur Programa Apresentação Conceitos Básicos Lógica Proposicional ou Cálculo
Leia maisJOÃO NUNES de SOUZA. LÓGICA para CIÊNCIA da COMPUTAÇÃO. Uma introdução concisa
JOÃO NUNES de SOUZA LÓGICA para CIÊNCIA da COMPUTAÇÃO Uma introdução concisa 2 de junho de 2009 1 A linguagem da Lógica Proposicional Errata Caso você encontre algum erro nesse capítulo ou tenha algum
Leia maisAula 6: Dedução Natural
Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado
Leia maisAula 6: Dedução Natural
Lógica para Computação Primeiro Semestre, 2015 DAINF-UTFPR Aula 6: Dedução Natural Prof. Ricardo Dutra da Silva Em busca de uma forma de dedução mais próxima do que uma pessoa costuma fazer, foi criado
Leia maisUMA INTRODUÇÃO SOBRE LÓGICAS NÃO-CLÁSSICAS
UNIVERSIDADE ESTADUAL PAULISTA FACULDADE DE CIÊNCIAS CAMPUS DE BAURU UMA INTRODUÇÃO SOBRE LÓGICAS NÃO-CLÁSSICAS Kleidson Êglicio Carvalho da Silva Oliveira kecso10@yahoo.com.br Bauru 2010 1 Sumário Resumo
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 maisMétodos de Verificação
Método de Na construção de derivações no sistema de cálculo de sequentes: Na aplicação de cada regra, só a manipulação referente à fórmula principal é informativa. A cópia dos contextos revela-se assim
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
Slides da disciplina Lógica para Computação, ministrada pelo Prof. Celso Antônio Alves Kaestner, Dr. Eng. (kaestner@dainf.ct.utfpr.edu.br) entre 2007 e 2008. Alterações feitas em 2009 pelo Prof. Adolfo
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 maisLÓGICOS E ALGÉBRICOS DA PROGRAMAÇÃO Licenciaturas em Engenharia Informática, Ensino de Informática e Matemática 2º Semestre 2005/2006
FUNDAMENTOS UNIVERSIDADE da MADEIRA Departamento de Matemática e Engenharias LÓGICOS E ALGÉBRICOS DA PROGRAMAÇÃO Licenciaturas em Engenharia Informática, Ensino de Informática e Matemática 2º Semestre
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/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)
Leia maisLógica Proposicional
Lógica Proposicional Lógica Computacional Carlos Bacelar Almeida Departmento de Informática Universidade do Minho 2007/2008 Carlos Bacelar Almeida, DIUM LÓGICA PROPOSICIONAL- LÓGICA COMPUTACIONAL 1/28
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 maisIntrodu c ao ` a L ogica Matem atica Ricardo Bianconi
Introdução à Lógica Matemática Ricardo Bianconi Capítulo 4 Dedução Informal Antes de embarcarmos em um estudo da lógica formal, ou seja, daquela para a qual introduziremos uma nova linguagem artificial
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 Computacional
Aula Teórica 6: Semântica da Lógica Proposicional Departamento de Informática 3 de Março de 2011 Motivação Expressividade Os conectivos são independentes? Definiu-se a Lógica Proposicional com os símbolos
Leia maisRelações de consequência simétrica
Relações de consequência simétrica Hércules de Araújo FEITOSA 1 Marcelo Reicher SOARES 2 Ângela Pereira Rodrigues MOREIRA 3 Resumo Temos desenvolvido investigações sobre um conceito de lógica bastante
Leia maisLógica Computacional
Aula Teórica 13: Dedução Natural em 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
Leia maisLógica Computacional
Lógica Computacional Consequência Tautológica e Lógica em Frases Quantificadas Leis de de Morgan Separação de Quantificadores Consequências Analíticas e Método Axiomático 3 Novembro 2016 Lógica Computacional
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 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 maisQUANTIFICADORES NO CONTEXTO LÓ- GICO: MUITOS E POUCOS
QUANTIFICADORES NO CONTEXTO LÓ- GICO: MUITOS E POUCOS QUANTIFIERS IN THE LOGICAL CONTEXT: MANY AND FEW Hércules de Araujo Feitosa 1 1. UNESP, Faculdade de Ciências haf@fc.unesp.br FEITOSA, Hércules de
Leia maisSemana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial
Semana 3 por de por de 1 indireta por de por de Teoremas resultados importantes, Os rótulos por de por de Teoremas resultados importantes, Os rótulos Proposições um pouco menos importantes, por de por
Leia maisINF1009.3WB: Lógica para computação
INF1009.3WB: Lógica para computação Aula 0: Aula inaugural Cecília Englander Guilherme F. Lima Edward Hermann Lab. TecMF, Dep. Informática, PUC-Rio 2017.2 Sumário 1. Apresentação da disciplina 2. Lógica,
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 Computacional
Aula Teórica 5: 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 maisLÓGICA PROPOSICIONAL
LÓGICA PROPOSICIONAL Prof. Cesar Tacla/UTFPR/Curitiba Slides baseados no capítulo 1 de DA SILVA, F. S. C.; FINGER M. e de MELO A. C. V.. Lógica para Computação. Thomson Pioneira Editora, 2006. Conceitos
Leia maisIME, UFF 10 de dezembro de 2013
Lógica IME, UFF 10 de dezembro de 2013 Sumário.... Considere o seguinte argumento Um problema de validade (1) p q q r r s s t p t (1) é válido ou não? A resposta é sim... Uma demonstração Uma demonstração
Leia maisLógica Computacional
Aula Teórica 9: Forma Normal Conjuntiva Departamento de Informática 21 de Março de 2011 O problema Como determinar eficazmente a validade de uma fórmula? Objectivo Determinar a validade de raciocínios
Leia maisLógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas
Lógica Matemática 1 Semana 7, 8 e 9. Professor Luiz Claudio Pereira Departamento Acadêmico de Matemática Universidade Tecnológica Federal do Paraná Material Previsto para três semanas Implicação e equivalência
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 Computacional
Lógica Computacional 3.ano LCC e LERSI URL: http://www.ncc.up.pt/~nam/aulas/0304/lc Escolaridade: 3.5T e 1P Frequência:Semanalmente serão propostos trabalhos aos alunos, que serão entregues até hora e
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 mais1 Lógica de primeira ordem
1 Lógica de primeira ordem 1.1 Sintaxe Para definir uma linguagem de primeira ordem é necessário dispor de um alfabeto. Este alfabeto introduz os símbolos à custa dos quais são construídos os termos e
Leia maisAula 7: Dedução Natural 2
Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 7: Dedução Natural 2 Prof. Ricardo Dutra da Silva -introdução Dada uma premissa A, nós podemos concluir A B para qualquer fórmula B. A justificativa
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 Computacional Aulas 8 e 9
Lógica Computacional Aulas 8 e 9 DCC/FCUP 2017/18 Conteúdo 1 Lógica proposicional 1 11 Integridade e completude dum sistema dedutivo D 1 111 Integridade do sistema de dedução natural DN 1 112 3 12 Decidibilidade
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 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 maisRaciocínio por Tablôs pela Forma Direta
Raciocínio por Tablôs pela Forma Direta Arthur Buchsbaum 1, Maurício Correia Lemes Neto 2 1 Departamento de Informática e Estatística, Universidade Federal de Santa Catarina Campus Universitário, Trindade,
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 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 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 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 maisanti-simétrica, com elemento mínimo e tal que, dados n, n, n N, se
1 Sistema dedutivo T 1.1 Árvores e árvores etiquetadas Informalmente, uma árvore é uma estrutura constituída por um conjunto de elementos, designados nós, ordenados de um modo particular. Quando se faz
Leia maisAula 4: Consequência Lógica e Equivalência Lógica
Lógica para Computação Segundo Semestre, 2014 Aula 4: Consequência Lógica e Equivalência Lógica DAINF-UTFPR Prof. Ricardo Dutra da Silva Definição 4.1. Em lógica proposicional dizemos que uma fórmula B
Leia maisLógica Computacional
Aula Teórica 8: Forma Normal Conjuntiva 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, Faculdade
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 maisAula 8: Tableaux Analíticos
Lógica para Computação Segundo Semestre, 2014 Aula 8: Tableaux Analíticos DAINF-UTFPR Prof. Ricardo Dutra da Silva O métodos de Dedução Natural não permite inferir a falsidade de um sequente, ou seja,
Leia maisDa dedução para a álgebra
Da dedução para a álgebra From deduction to algebra ISSN 2316-9664 Volume 10, dez. 2017 Edição Ermac Hércules de Araujo Feitosa UNESP - Universidade Estadual Paulista Júlio de Mesquita Filho haf@fc.unesp.br
Leia maisAula 2, 2014/2 Sintaxe da Lógica dos Conectivos
Notas de aula de Lógica para Ciência da Computação Aula 2, 2014/2 Sintaxe da Lógica dos Conectivos Renata de Freitas e Petrucio Viana Departamento de Análise, IME UFF 27 de agosto de 2014 Sumário 1 Sintaxe
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 maisLógica e Computação. Uma Perspectiva Histórica
Lógica e Computação Uma Perspectiva Histórica Alfio Martini Facin - PUCRS 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 maisIME, UFF 3 de junho de 2014
Lógica IME, UFF 3 de junho de 2014 Sumário A lógica formal e os principais sistemas A lógica formal Um dos objetivos da lógica formal é a mecanização do raciocínio, isto é, a obtenção de nova informação
Leia maisAxiomatizações equivalentes do conceito de topologia
Axiomatizações equivalentes do conceito de topologia Giselle Moraes Resende Pereira Universidade Federal de Uberlândia - Faculdade de Matemática Graduanda em Matemática - Programa de Educação Tutorial
Leia maisIntrodução à Lógica Matemática
Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira
Leia maisLógica proposicional. Capítulo 1
Capítulo 1 Lógica proposicional 1.1 Introdução A lógica proposicional, à qual este capítulo é dedicado, pode ser vista como a parte da lógica que se ocupa do estudo do comportamento dos conectivos lógicos
Leia maisLFA. Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos
LFA Provas formais; Indução; Sintaxe e Semântica Teoria dos Conjuntos Técnicas de Demonstração Um teorema é uma proposição do tipo: p q a qual, prova-se, é verdadeira sempre que: p q Técnicas de Demonstração
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 Computacional
Aula Teórica 2: Sintaxe 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 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. 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 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 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 maisAnálise I. Notas de Aula 1. Alex Farah Pereira de Agosto de 2017
Análise I Notas de Aula 1 Alex Farah Pereira 2 3 23 de Agosto de 2017 1 Turma de Matemática. 2 Departamento de Análise-IME-UFF 3 http://alexfarah.weebly.com ii Conteúdo 1 Conjuntos 1 1.1 Números Naturais........................
Leia maisAula 1 Aula 2. Ana Carolina Boero. Página:
Elementos de lógica e linguagem matemática E-mail: ana.boero@ufabc.edu.br Página: http://professor.ufabc.edu.br/~ana.boero Sala 512-2 - Bloco A - Campus Santo André Linguagem matemática A linguagem matemática
Leia maisLista de exercícios de MAT056
Lista de exercícios de MAT056 Livro-texto (principal): Ebbinghaus, H. D., Flum, J., Thomas, W., Mathematical Logic. (Undergraduate Texts in Mathematics) Editora Springer. 2th Edition. 1 Introdução Exercício
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 maisi : V W V W é o produto tensorial de V e W se, ao considerarmos um outro espaço vetorial U sobre o mesmo corpo K e B também uma aplicação bilinear:
3 Produto Tensorial Sistemas quânticos individuais podem interagir para formarem sistemas quânticos compostos. Existe um postulado em Mecânica Quântica que descreve como o espaço de estados do sistema
Leia maisLógica Computacional
Lógica Computacional Aula Teórica 6: Semântica da Lógica Proposicional António Ravara Simão Melo de Sousa Marco Giunti Departamento de Informática, Faculdade de Ciências e Tecnologia, NOVA LINCS, Universidade
Leia maisDIM Resolução e método tableaux DIM / 37
DIM0436 21. Resolução e método tableaux 20141014 DIM0436 20141014 1 / 37 Sumário 1 Demostração automática de fórmulas 2 Resolução 3 O método tableaux DIM0436 20141014 2 / 37 1 Demostração automática de
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 mais