Definição Modus Ponens

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 Proposicional Definição 1.2 (fórmula) As fórmulas da linguagem da Lógica Proposicional são construídas, de…

ou ela é falsa (diz uma falsidade). Note que embora as proposições sejam bastante comuns na linguagem natural, porque, por exemplo, todas as afirmações são naturalmente proposições, existem também vários exemplos de frases que não se encaixam na definição acima. Comandos e solicitações, por exemplo, não são exatamente proposições. Quando uma ordem é dada (“feche a porta!”) ou uma solicitação feita (“por favor, me passe o prato”) não há necessariamente um valor verdade por trás destas…

tantos números na série inferior como na superior e, neste caso, pode-se concluir que uma parte é igual ao todo, porque a série de números pares é uma parte da série dos números naturais. Este paradoxo é logicamente certo, porque é um elemento da definição de “séries infinitas”. Afirmar que “uma parte é igual ao todo” torna-se falso, é claro, quando se trata de série finita. Por que, afinal de contas, Zenão afirmava que Aquiles não poderia alcançar a tartaruga? 1º) Aquiles e a tartaruga…

três regras básicas: o principio de identidade, o princípio de não contradição e o principio do terceiro excluído. 1. O Principio de Identidade expressa uma tautologia, demonstra que algo é idêntico a si mesmo, sendo sempre verdadeiro. Por definição, a tautologia é um enunciado que é verdadeiro, independente dos valores de verdade, sendo, portanto, sempre verdadeira. Assim, a identidade é uma tautologia. Sendo, P = E, portanto E = P. 2. O Principio da Não-Contradição diz que uma…

exercícios basta estudar com atenção a secção relevante do manual. Por exemplo, na secção 1.1. do Capítulo 1, a Questão de Revisão 1 pergunta o seguinte: «O que é uma proposição? Define e dá exemplos.» Ora, na secção 1.1. encontra-se a seguinte definição de proposição: «Uma proposição é o pensamento que uma frase declarativa exprime literalmente». E encontram-se também vários exemplos de frases que não exprimem proposições; os exemplos de frases que exprimem proposições são fáceis…

possui três regras básicas: o principio de identidade, o princípio de não contradição e o principio do terceiro excluído. 1. O Principio de Identidade expressa uma tautologia, demonstra que algo é idêntico a si mesmo, sendo sempre verdadeiro. Por definição, a tautologia é um enunciado que é verdadeiro, independente dos valores de verdade, sendo, portanto, sempre verdadeira. Assim, a identidade é uma tautologia. Sendo, P = E, portanto E = P. 2. O Principio da Não-Contradição diz…

subjetivismo/relativismo, à luz da qual a distinção é real. Para a sua oponente, o objetivismo, os juízos de valor são juízos de facto acerca de valores, pois estes são propriedades do mundo, tal como as de que falam os juízos de facto. VALORES E CULTURA • Uma definição de valor neutra e consensual de valor diz apenas que o valor é aquilo que nos leva a ter preferência e interesse por certas coisas, pessoas, ações, situações, etc, e a avaliá-las positiva ou negativamente. Os valores…

HISTÓRIA .............................................................................................. 04 5. PROPOSIÇÕES (CONECTIVOS)....................................................................................... 05 6. DEFINIÇÃO ................................................................................................................. 01 7. TABELA VERDADE…

Introdução à lógica 3. 4. 5. 6. 7. 8. 9. 10. 11. O que é uma conclusão? Defina e dê exemplos. O que distingue um argumento de um raciocínio ou inferência? Explique a diferença entre afirmar e argumentar. Discuta a seguinte definição de argumento: “Um argumento é um conjun‐ to de proposições em que a conclusão é justificada pelas premissas”. Será que qualquer conjunto de proposições é um argumento? Porquê? Identifique as premissas e as conclusões dos…

poss´ nome de c˜o. a ıvel a Muitas declaracoes incluem definicoes sobre o escopo das ¸˜ ¸˜ vari´veis utilizadas. Essas definicoes usualmente consideram as a ¸˜ nocoes b´sicas oriundas da teoria dos conjuntos. ¸˜ a S´mbolos uteis para definicao de escopo ı ´ ¸˜ Freq¨entemente, ´ necess´rio especificar que as declaracoes u e a ¸˜ s˜o v´lidas para “todos os elementos de um determinado cona a junto” ou “para pelo menos um elemento de um determinado conjunto”. Os s´…