logica Modal

Fundamentos de Lógica Modal Introdução Uma Lógica é um sistema formal, ou seja, um sistema de manipulação de símbolos contendo uma linguagem formalmente descrita e um conjunto de regras previamente estabelecido. Essas regras permitem estabelecer relações (inferências, ou seja, argumentos que têm premissas e conclusão) entre as sentenças e definem quais são as inferências válidas (ou seja, aquelas nas quais a verdade das premissas “garante” a verdade da conclusão). Com a Lógica Clássica de Primeira Ordem, temos a possibilidade de nos referirmos a indivíduos específicos dentro do universo de discurso. Uma limitação da lógica clássica é que os valores-verdade considerados nela são somente dois, e dois extremos: verdadeiro ou falso. Ou seja, não se admitem “modalidades” dessa verdade ou dessa falsidade. Com a Lógica Modal Proposicional, aumentamos significativamente nossa capacidade de comunicação, podendo expressar as noções de necessidade, impossibilidade, contingência e possibilidade. Pode-se entender a lógica modal em dois sentidos: restrito e amplo. O sentido restrito da lógica modal é o sentido clássico. Na lógica modal, só se estudariam as chamadas modalidades da verdade. A lógica modal alética – organizada, como qualquer outra lógica formal, em um cálculo de enunciados e um cálculo de predicados de ordens distintas – estudaria as relações de inferência entre enunciados afetados por alguns dos operadores modais. A Lógica Modal trata de argumentos que envolvem…

LÓGICA I 1) Que tipo de discurso é um silogismo válido? E um inválido? São aqueles em que a conclusão se segue necessariamente das premissas. Conclui-se que a validade argumentativa está condicionada apenas pela forma ou esquema formal do silogismo, independente da verdade ou falsidade de suas premissas ou de seu conteúdo. 2) Caracterize um raciocínio dedutivo e sua diferença em relação a um raciocínio indutivo. Raciocínio dedutivo é aquele cuja proposição infere…

1.O nascimento da Lógica ““ Para começar, é importante citar que você já viu algumas pessoas dizendo as seguintes frases: “-É lógico que eu vou”,” - É lógico que ela disse isso”.Quando se diz frases como estas ,percebe-se que a expressão: “É lógico que”,indica que o que está sendo dito,se trata de algo evidente.A expressão aparece como se fosse a conclusão de um raciocínio implícito,compartilhado pelos interlocutores do discurso.Ao dizer “É lógico que eu vou!”,supõe-se que quem ouve…

Eixo Diário, blog e perfil Habilidades e Competências LEITURA – Literatura - Reconhecer características da interação virtual nas redes sociais. - Diferenciar a língua falada e a língua escrita em registros pessoais (virtuais ou não) com diferentes graus de formalidade. - Identificar as especificidades que diferenciam os gêneros em questão. - Diferenciar informações relevantes das irrelevantes a depender da finalidade do texto e da esfera de circulação. …

1. Introdução. A ideia de lógica é bastante utilizada, através dos termos derivados lógico e ilógico, na linguagem coloquial, visto que é entendida, de maneira geral, por meio do sentido de razoabilidade. Embora essa definição seja considerada demasiada superficial, é correto afirmar que apresenta um elo com o verdadeiro significado de lógica- ciência responsável pelo estudo das leis que norteiam o raciocínio-, pois pretende identificar um caráter racional no que for exposto.…

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) O alfabeto da Lógica Proposicional é constituído por: • símbolos de pontuação: (, ); • símbolos de verdade: true, false; • símbolos proposicionais: P, Q, R, S, P1 , Q1 , R1 , S1 , P2 , Q2 , . . .; • conectivos proposicionais: ¬ ,∨ ,∧ ,→ ,↔ .…

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) O alfabeto da Lógica Proposicional é constituído por: • • • • símbolos de pontuação: (, ); símbolos de verdade: true, false; símbolos proposicionais: P, Q, R, S, P1 , Q1 , R1 , S1 , P2 , Q2 , . . .; conectivos proposicionais: ¬ ,∨ ,∧ ,→ ,↔ . Fórmulas da Lógica…

Lógica Formal Objetivos do Capítulo Após estudar este capítulo, o leitor deve ser capaz de: • Reconhecer e trabalhar com os símbolos formais que são usados nas lógicas proposicional e de predicados • Achar o valor-verdade de uma expressão na lógica proposicional • Achar o valor-verdade de alguma interpretação de uma expressão na lógica de predicados • Usar a lógica de predicados para representar sentenças da língua portuguesa • Construir demonstrações formais nas lógicas…

Trata-se de pensar, ou observar segundo dada referência. Consideremos, por exemplo, o ato de classificar. Classificar é reunir, material ou simbolicamente, objetos ou coisas que admitem um critério comum. Para isto, temos de observar, “ao mesmo tempo”, dois critérios: a referência para a classificação e a coisa classificada. Se queremos juntar coisas amarelas devemos saber, em algum nível de compreensão ou imaginação, o que é “amarelo” e aplicar esta referência às coisas julgadas como…

UNIVERSIDADE FEDERAL DO RIO GRANDE DO SUL INSTITUTO DE INFORMÁTICA BACHARELADO EM CIÊNCIA DA COMPUTAÇÃO LÓGICAS MODAIS: FUNDAMENTOS E APLICAÇÕES Projeto de Diplomação 2 Sumário Lista de Figuras ................................................................................................................ 3 Resumo............................................................................................................................. 4…