texte escrito

1674 palavras 7 páginas
Em lógica e matemática, uma lógica proposicional (ou cálculo sentencial) é um sistema formal no qual as fórmulas representam proposições que podem ser formadas pela combinação de proposições atómicas usando conectivos lógicos e um sistema de regras de derivação, que permite que certas fórmulas sejam estabelecidas como "teoremas" do sistema formal.
Em termos gerais, um cálculo é frequentemente apresentado como um sistema formal que consiste em um conjunto de expressões sintácticas (fórmulas bem formadas, o), um subconjunto distinto dessas expressões, e um conjunto de regras formais que define uma relação binária específica, que se pretende interpretar como a noção de equivalência lógica, no espaço das expressões.
Quando o sistema formal tem o propósito de ser um sistema lógico, as expressões devem ser interpretadas como asserções matemáticas, e as regras, conhecidas como regras de inferência, normalmente são preservadoras da verdade. Nessa configuração, as regras (que podem incluir axiomas) podem então ser usadas para derivar "inferir" fórmulas representando asserções verdadeiras.
O conjunto de axiomas pode ser vazio, um conjunto finito não vazio, um conjunto finito enumerável, ou pode ser dado por axiomas esquemáticos. Uma gramática formal define recursivamente as expressões e fórmulas bem formadas) da linguagem. Além disso, pode se apresentar uma semântica para definir verdade e valorações (ou interpretações).
A linguagem de um cálculo proposicional consiste em: • um conjunto de símbolos primitivos, definidos como fórmulas atómicas, proposições atômicas, ou variáveis, e • um conjunto de operadores, interpretados como operadores lógicos ou conectivos lógicos.
Uma fórmula bem formada é qualquer fórmula atómica ou qualquer fórmula que pode ser construída a partir de fórmulas atómicas, usando conectivos de acordo com as regras da gramática.
O que segue define um cálculo proposicional padrão. Existem muitas formulações diferentes as quais são todas mais ou

Relacionados

  • Antropologia
    713 palavras | 3 páginas
  • Salazar
    3353 palavras | 14 páginas
  • O Diálogo literário em aulas de FLE
    4142 palavras | 17 páginas
  • Hermeneutica
    20637 palavras | 83 páginas
  • estudos de geografia
    3561 palavras | 15 páginas
  • Sistema de Informação
    6655 palavras | 27 páginas
  • V11n21a02
    5084 palavras | 21 páginas
  • Linguística textual
    2069 palavras | 9 páginas
  • Novo testamento
    2650 palavras | 11 páginas
  • TEXTO ARGUMENTATIVO
    1836 palavras | 8 páginas