Membro : Login |Inscrição |Carregar conhecimento
Pesquisar
Substituição: lógica [Modificação ]
A substituição é um conceito fundamental na lógica. Uma substituição é uma transformação sintática em expressões formais. Aplicar uma substituição a uma expressão significa substituir consistentemente seus símbolos de variável, ou espaço reservado, por outras expressões. A expressão resultante é chamada de instância de substituição da expressão original.
[Conceito][Lógica][Sintaxe: lógica]
1.Lógica proposicional
1.1.Definição
1.2.Tautologias
2.Lógica de primeira ordem
[Carregar Mais Conteúdo ]


Direitos autorais @2018 Lxjkh