Dicionário de Termos LinguÃsticos
voltar ao Ãndice
simplificação
Definição:
Em lógica, designa-se por simplificação uma regra de inferência do tipo "(P&Q) ∴ P", que equivale a "da conjunção de P e Q podemos inferir P".
Volume II
Fonte: LYONS (1970).
|