Contenido: Algebra Proposicional

Qu sentido tiene correr cuando estamos en la carretera equivocada? Annimo

La evolucin de la lgica est ligada a la evolucin intelectual del ser humano, ya que como ciencia del razonamiento, su historia representa la historia misma del hombre. La lgica surge desde el primer momento en que el hombre, al enfrentar a la naturaleza, infiere, deduce y razona, con el nimo de entenderla y aprovecharla para su supervivencia. Por eso existen varios enfoques acerca de cmo interpretar la evolucin de la lgica.

El clculo preposicional estudia las relaciones que se dan en los enunciados, sin analizar su estructura interna.

Siempre habr alguien mejor o peor que t No reniegues de tu vida Annimo

eve El suelo estar mojado

Si llueve entonces el suelo estar mojado

El primer paso en el estudio de un lenguaje es definir los smbolos bsicos que lo constituyen (alfabeto) y cmo se combinan para formar sentencias. Est constituido por:

Proposicin lgica y valores de verdad

El valor de verdad de una proposicin lgica atmica es, por definicin, verdadero o falso.

Smbolos de variables: p, q, ... , z

Proposicin:

Variables:
p q r

Negacin (-) Conjuncin (^) Disyuncin (v)

Condicional/Implicacin (=>)
Bicondicional/Doble implicacin ()

Parntesis (), Corchetes [] Llaves {} para evitar ambigedades. Otros