Qu es lgica proposicional?

Lgica
Es una ciencia que estudia el lenguaje cientfico, su planteamiento, su organizacin, en
entidades jerrquicas y los mtodos como sus frmulas para analizar toda forma escrita.
Para comunicarse el ser humano utiliza lenguajes discursivos dichos lenguajes estn llenos
de partculas lgicas.

Las partculas lgicas: fundamentalmente son los cuantificadores las conectivas con ellas
se forman los discursos.

Lgica Proposicional
Es una rama de la lgica clsica que estudia las variables proposicionales o sentencias
lgicas, sus posibles implicaciones, evaluaciones de verdad y en algunos casos su nivel
absoluto de verdad. Algunos autores tambin la identifican con la lgica matemtica o la
lgica simbolice, ya que utiliza una serie de smbolos especiales que lo acercan al lenguaje
matemtico.

Proposiciones
Tautologa: se define tautologa o validez a aquella formula que siempre es verdadera.

Contradiccin: es una proposicin que siempre es falsa para todos los valores de verdad.
Para cualquier valor de verdad de las proposiciones, sea cual sea el resultado de la formula
lgica estudiada siempre va a ser falso.

Conjuncin: es aquella formula que es falsa o verdadera. Las expresiones de las que
depende la validez de los argumentos se definen constante lgicas.

Conectores
Negacin: no -> >, ~