Càlcul lògic
From Wikipedia, the free encyclopedia
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 vàlidament veritables. La inferència o deducció és una operació lògica que consisteix a obtenir un enunciat com-conclusió-a partir d'una altra (s)-premissa (s) - mitjançant l'aplicació de regles d'inferència. Es diu que algú infereix-o dedueix-"T" de "R" si accepta que si "R" té valor de veritat V, llavors, necessàriament, "T" té valor de veritat V.
Les persones en la nostra tasca diària, utilitzem constantment el raonament deductiu, partim d'enunciats empírics-suposadament veritables i vàlids - per concloure en un altre enunciat que es deriva d'aquells.
La lògica, com a ciència formal, s'ocupa d'analitzar i sistematitzar les regles que permeten la transformació d'uns enunciats-premisses-en d'altres-conclusions-a fi de convertir les operacions deductives en un càlcul rigorós i eficaç.
En aplicar les regles d'aquest càlcul lògic als enunciats que formen un argument, mitjançant la simbolització adequada de fórmules o Expressions ben formades (EBF) construïm un model o sistema deductiu que, referit al llenguatge ordinari, anomenem de càlcul de deducció natural.