Cálculo Proposicional
|
La lógica proposicional es la más antigua y simple de las formas de lógica, permite representar y manipular aserciones sobre el mundo que nos rodea, a través del razonamiento, primeramente evaluando sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales. Es diseñada para analizar ciertos tipos de argumentos, en ella las fórmulas representan proposiciones y las conectivas lógicas son operaciones
Según L.García, 1990, la Lógica proposicional estudia las operaciones proposicionales y la deducción proposicional.
Enlaces externos
http://es.wikipedia.org/wiki/L%C3%B3gica_proposicional
http://www.monografias.com/trabajos/iartificial/pagina4_1.htm
http://es.wikipedia.org/wiki/C%C3%A1lculo_proposicional_de_Frege
http://www.monografias.com/trabajos16/calculo-proposicional/calculo-proposicional.shtml