lunes, 15 de enero de 2018

LÓGICA PROPOSICIONAL. APUNTES

CLICK PARA DESCARGAR


LA LÓGICA PROPOSICIONAL

Es una parte de la lógica formal que utiliza exclusivamente proposiciones (afirmaciones acerca de la realidad que pueden ser verdaderas o falsas). Su función es establecer el valor de verdad de las proposiciones en función de las relaciones lógicas que se establecen entre ellas.



1)      ELEMENTOS DE LA LÓGICA PROPOSICIONAL



a)       Hay dos tipos de proposiciones:

-Atómicas: Las que tienen un único significado, solo nos remiten a una idea→hoy  hace calor.

-Moleculares: Tienen al menos dos significados → Hoy hace calor y me voy a la playa.

               Las proposiciones se simbolizan a partir de la letra p. La primera proposición en aparecer siempre será p, la siguiente q, y así sucesivamente siguiendo el alfabeto.

b)      Utilizaremos varios juntores. Un juntor es un símbolo que une varias proposiciones:



­­­¬ =No

= Si…, entonces…

= Si y solo si…, entonces…

V = O

Λ = Y

V = O,…o…

|---= Luego...