A Verdade Como Um Valor

Discreta - Prof. Jorge Cavalcanti - Univasf Introdução à Lógica Formal Conceitos Iniciais:     A Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. Aristóteles - filósofo grego - 342 a.C, sistematizou os conhecimentos existentes em Lógica, elevando-os à categoria de ciência. Em sua obra chamada Organum (“ferramenta para o correto pensar”), estabeleceu princípios tão gerais…

1. Argumentação e lógica formal 1.1. Distinção validade – verdade 2. A Filosofia na cidade 1.1.1. A definição de lógica Raciocínio ou inferência Operação mental através da qual chegamos a uma conclusão partindo de determinadas razões. Comunicar o raciocínio Argumento Todos os seres racionais possuem a capacidade de raciocinar e de argumentar, mas nem todos o fazem de modo correto. ARGUMENTOS Têm na sua base convicções, crenças, ideias, opiniões,…

simultaneamente verdadeiras: está chovendo lá fora e eu estou dentro de casa. De maneira lógica, A está para "está chovendo" e B está para "estou dentro de casa", A E B ocorrem juntos. A expressão booleana para a operação AND é x = A • B Tabela verdade A tabela verdade para p AND q é a seguinte: Propriedades As seguintes equações seguem dos axiomas lógicos: Associatividade e comutatividade A função "E (AND)", goza das propriedades da associatividade e comutatividade. Vide…

BOOLEANA  A álgebra de Boole é baseada em apenas dois valores. Esses dois valores poderiam, por exemplo, ser representados por tensão alta e tensão baixa ou tensão positiva e tensão negativa.  Na álgebra comum os valores têm um significado numérico, enquanto que na Álgebra de Boole têm um valor lógico. Observe que muitas coisas apresentam duas situações estáveis. 3 INTRODUÇÃO À ÁLGEBRA BOOLEANA  Exemplo: verdade ou mentira; alto ou baixo; sim ou não; ligado ou…

arcaico, a Ilíada, Homero, os gregos pré-socráticos, cujos pensamentos são anteriores ao nosso modo de pensar, modo de pensar que nasce com Sócrates e Platão. O que caracterizava os pré-socráticos era a Arte, como mediação entre as coisas. A idéia de verdade não era clara, não era uma idéia que ainda tinha sido inventada. Então, o que marcava o pensamento pré-socrático era o pensamento fundado no devir, que é a vida como um processo de transformação constante, ou seja, tudo muda o tempo…

e as provas demonstram, de maneira irrefut´avel, a verdade dessas asser¸co˜es. 3 ´ Algebra de Proposi¸ c˜ oes Defini¸c˜ ao 3.1 (Proposi¸c˜ ao) Proposi¸c˜ao ´e uma Senten¸ca que pode ser significativamente classificada como verdadeira ou falsa. Exemplos: 1. Duzentos ´e igual a cinquenta. 2. Existem formas de vida em outros planetas do universo. 3. A Terra ´e redonda. A validade ou falsidade de uma proposi¸ca˜o ´e chamada de seu valor verdade. Matem´atica Discreta - Notas de Aula - Cap´ıtulo

lógica, essas definições não diferem essencialmente umas das outras; há um certo consenso entre os autores de que a Lógica tem, por objeto de estudo, as leis gerais do pensamento, e as formas de aplicar essas leis corretamente na investigação da verdade. Embora tenham sido encontrados na Índia, textos sobre esse assunto, escritos em épocas remotas, é tradicionalmente aceito que a Lógica tenha nascido na Grécia Antiga, por volta do século IV antes de Cristo. Os primeiros trabalhos…

troco ideias, uma pedra de tropeço para aqueles que, sozinhos, tentam estudá-la. Mas o segredo é bem simples: se ela é uma pedra , então aqui está o caminho das pedras. Bem aqui, amigo leitor, em suas mãos! Foi uma longa espera (alguns anos, na verdade) para que eu pudesse, finalmente, prefaciar, com honra, esta monolítica obra. Mas a espera valeu... E como valeu! Nada parece mais simples do que as explicações dos mestres Sérgio Carvalho e Weber Cam­ pos neste livro. Aqui, qualquer…

da Razão): Princípio da Não Contradição: uma proposição “p” e sua negação “não p” não podem ser verdade ao mesmo tempo. Logo toda contradição é falsa e esse princípio é uma verdade necessária. Obs: Hegel acreditava que as contradições geram o conhecimento (dialética moderna). “A” + “não A” = “B” + “não B” = “C”. Tese + Antítese = Síntese. Princípio da Redução ao Absurdo: supondo “A” como verdade, se “A” gera “B” e “não B”, logo “A” é falso. Princípio do Terceiro Excluído: dado uma…

Entretanto, ela está ao alcance de toda pessoa que memorize as regras e exercite bastante. Portanto, mãos à obra. Segundo Quine, toda proposição é uma frase mas nem toda frase é uma proposição; uma frase é uma proposição apenas quando admite um dos dois valores lógicos: Falso (F)ou Verdadeiro (V). Exemplos: 1. Frases que não são proposições ‒ Pare! ‒ Quer uma xícara de café? ‒ Eu não estou bem certo se esta cor me agrada 2.Frases que são proposições ‒ A lua é o único satélite do planeta…