Càlcul lògic: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: altra -> altra, ja que la |
m Corregit: en -> a obtenir |
||
Línia 1:
El '''càlcul lògic '''o''' derivació lògica''' és un [[algorisme]] que permet còmoda i fàcilment inferir o deduir un enunciat veritable a partir d'un altre o altres que es tenen com a [[validesa lògica|vàlidament]] veritables. La [[inferència]] o [[deducció]] és una operació lògica que consisteix
Les persones en la nostra tasca diària, utilitzem constantment el raonament deductiu, partim d'enunciats empírics-suposadament veritables i [[validesa lògica|vàlids]] - per concloure en un altre enunciat que es deriva d'aquells.
| |||