Coleção UAB− Fundamentos de lógica matemática
 |
| Coleção UAB− Fundamentos de lógica matemática |
A lógica constitui um
poderoso ferramental para a formalização do estudo de formas de raciocínio.
Através desse formalismo matemático podemos eliminar as ambiguidades existentes
em linguagens naturais, o que nos permite a definição do cálculo proposicional,
ou seja, de um conjunto estrito de regras que nos permitem realizar inferências
e deduções válidas acerca de um conjunto inicial de premissas.
0 Comentários