Pesquisa avançada
O Portal da Língua Portuguesa é um repositório organizado de recursos linguísticos. Pretende ser orientado tanto para o público em geral como para a comunidade científica, servindo de apoio a quem trabalha com a língua portuguesa e a todos os que têm interesse ou dúvidas sobre o seu funcionamento. Todo o conteúdo do Portal é de livre acesso e está em constante desenvolvimento.  ler mais

Dicionário de Termos Linguísticos

voltar ao índice

cálculo proposicional

Classificação:Semântica
Equivalentes:
Inglês:propositional calculus
Francês:calcul propositionel

Definição:

O clculo proposicional um sistema de lgica que sendo uma linguagem formal possui um vocabulrio de proposies atmicas (representadas pelos smbolos "p", "q", "r", "s"...), regras de sintaxe e semntica (ou sistema de interpretao). A sua sintaxe consiste na combinao de proposies atmicas (frmulas bem formadas) com o operador unrio '~' (negao) ou os conectores '∧' (conjuno) '∨' (disjuno) '→' (condicional) ou '↔' (bicondicional). A sua semntica consiste na atribuio de valores de verdade (verdadeiro ou falso) a cada proposio atmica em conjunto com as propriedades verifuncionais dos conectores.
Volume II

Fonte: PARTEE et alii (1990).


Pesquisa Dicionário:
ILTEC