L GICA PROPOSICIONAL

QUE ES LA LGICA?

El sentido ordinario de la palabra lgica se refiere a lo que es congruente, ordenado, bien estructurado. Lo ilgico es lo mismo que incongruente, desordenado, incoherente. Esto se aplica tanto a las personas como a las situaciones y a los pensamientos.

QUE ES LA LGICA?

La palabra lgica nos indica ya en su origen etimolgico (logos = conocimiento, sabidura) el sentido bsico de esta ciencia, que se eleva hasta el espritu y el pensamiento, la razn y la inteligencia. De esta manera definimos nominalmente la lgica como: La ciencia del pensamiento y la razn.

PARA QUE SIRVE LA LGICA?

La lgica estudia la forma del razonamiento, es una disciplina que por medio de reglas y tcnicas determina si un argumento es vlido. La lgica es ampliamente aplicada en la filosofa, matemticas, computacin, fsica. En la filosofa para determinar si un razonamiento es vlido o no, ya que una frase puede tener diferentes interpretaciones, sin embargo la lgica permite saber el significado correcto. En las matemticas para demostrar teoremas e inferir resultados que puedan ser aplicados en investigaciones. En la computacin para revisin y creacin de programas (software).

PARA QUE SIRVE LA LGICA?

En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al supermercado una ama de casa tiene que realizar cierto procedimiento lgico que permita realizar dicha tarea. Si una persona desea pintar una pared, este trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint la parte alta porque se manchara lo que ya tiene pintado.

PARA QUE SIRVE LA LGICA?

La lgica es pues muy importante; ya que permite resolver incluso problemas a los que nunca se ha enfrentado el ser humano utilizando solamente su inteligencia y apoyndose de algunos conocimientos acumulados, se pueden obtener nuevos inventos, innovaciones a los ya existentes o simplemente utilizacin de los mismos.

LGICA PROPOSICIONAL
La lgica proposicional es la parte de la lgica que estudia la formacin de proposiciones complejas a partir de proposiciones simples, y la inferencia de proposiciones a partir de proposiciones, pero sin tener en cuenta la estructura interna de las proposiciones ms simples.

PROPOSICIONES
Una proposicin es una afirmacin que comunica una idea verdadera o falsa. Ejemplos: Determinar cules de las siguientes expresiones son proposiciones:

El murcilago es un animal mamfero.

Es una proposicin porque se puede afirmar si el murcilago es o no es un animal mamfero. Cul es tu nombre? No es una proposicin ya que no se puede afirmar si la pregunta es verdadera o falsa.

PROPOSICIONES
Una proposicin es una afirmacin que comunica una idea verdadera o falsa.

Ejemplos: (continuacin)
Determinar cules de las siguientes expresiones son proposiciones: Hola!

No es una proposicin, es una exclamacin que indica saludo, por lo tanto, no se puede determinar su valor de verdad.
Colombia No es una proposicin, es un nombre y no tiene valor de verdad.

PROPOSICIONES
CONSIDERACIONES:

Las preguntas, ordenes y exclamaciones no son consideradas proposiciones porque no se puede afirmar que son verdaderas o falsas.

Para nombrar proposiciones, habitualmente, se utilizan letras minsculas. Las ms empleadas son p, q, r, s y t, aunque no son las nicas. Cuando se establece si una proposicin es verdadera o falsa se est determinando su valor de verdad.

PROPOSICIONES
Ejemplos:
Escribir la expresin como una proposicin. Luego, determinar su valor de verdad:
1. Michael Phelps fue el campen de natacin en los Juegos Olmpicos de Beijng 2008. Para escribir la expresin como una proposicin, se le asigna una letra que la represente: r: Michael Phelps fu el campen de natacin en los Juegos Olmpicos de Beijing 2008. (Utilizamos en este caso la letra r) El valor de verdad es decir si la proposicin es verdadera o falsa: Es una proposicin verdadera ya que, en efecto, Phelps fue quien gan ms medallas en este deporte.

PROPOSICIONES
Ejemplos:
Establecer el valor de verdad de las siguientes proposiciones:
q: Espaa es el campen mundial de ftbol del ao 2010. Esta proposicin es verdadera, pues Espaa gan la final de ftbol en el ao 2010. t: Junio es el quinto mes del ao. La proposicin es falsa. Al enumerar los meses se puede apreciar que junio es el sexto mes del ao y no el quinto. r: 2 elevado a la 3 es 8. 23= 8, la proposicin es verdadera porque 2 X 2 X 2 = 8.

PROPOSICIONES SIMPLES.
Una proposicin simple es una afirmacin conformada por una sola oracin gramatical.

Ejemplo:
La proposicin, r: Un tringulo equiltero es aquel cuyos lados tienen la misma medida
Es una proposicin simple, puesto que est conformada por una sola oracin.

La proposicin, q: Cinco es un nmero impar y tambin es un nmero primo.

No es una proposicin simple porque est formada por dos oraciones.

NEGACIN DE PROPOSICIONES SIMPLES.

Cuando se niega una proposicin simple se cambia su valor de verdad. Es decir, algo que era verdadero se vuelve falso y algo quo era falso se convierte en verdadero.

Para negar una proposicin simple se le antepone la expresin no es verdad que o se le incluye un no para que cambie su significado a exactamente lo contrario. El smbolo que indica la negacin de una proposicin es ~, se usa as: ~p, y se lee no p.

Ejemplo:
q: Bogot est 1600 metros ms cerca de las estrellas Se niega la proposicin q como ~q y se Lee no q es decir, no es verdad que Bogot est 2.600 metros ms cerca de las estrellas, o, Bogot no est 2.600 metros ms cerca de las estrellas

PROPOSICIONES COMPUESTAS
Una proposicin compuesta es una afirmacin conformada por dos o ms proposiciones simples que se conectan usando las palabras y, o, si... entonces, si y solo si. Es importante tener en cuenta que en una proposicin compuesta se combinan las ideas de las proposiciones simples que la forman para dar origen a una nueva idea ms elaborada. Ejemplo: As que si se tienen dos proposiciones simples como:
p: Simn es un hombre trabajador. q: Es una persona amigable. Se puede generar una proposicin compuesta que integre las dos ideas que diga: Simn es un hombre trabajador y es una persona amigable. La palabra que se emplea para conectar las dos proposiciones simples es y.

CONECTIVOS LGICOS
Los conectivos lgicos o conectores son palabras que vinculan las ideas expresadas en dos o ms proposiciones simples, para comunicar algo ms complejo. Los conectivos lgicos estn identificados con un smbolo especial y un nombre que representan la funcin que cumplen.

CONECTIVOS LGICOS
Ejemplos: Escribir las siguientes proposiciones compuestas usando los smbolos lgicos:
Si la figura es un cuadriltero entonces tiene cuatro lados.
Asignando p: La figura es un cuadriltero q: Tiene cuatro lados La representacin sera:

pq
Irs al paseo si y slo si te portas bien en clase.
Asignando r: Irs al paseo s: Te portas bien en clase. La representacin sera:

rs

CONJUNCIN.
La conjuncin es una operacin lgica que usa el conectivo y relacionar dos proposiciones simples y construir una proposicin compuesta para simbolizar la conjuncin de dos proposiciones r y s se escribe r s y se lee r y s.
En la conjuncin p q es importante tener en cuenta que la proposicin compuesta es verdadera solo si p y q son verdaderas, en cualquier otro caso es falsa.

Cuando se establece la conjuncin entre dos proposiciones p y q, se da a entender que tanto la idea que expresa p como la que expresa q deben cumplirse (inclusin).

Ejemplo: si p, q son las proposiciones: p: Cinco es un nmero primo. q: Es impar. Se escribe p q y se lee: Cinco es un nmero primo y es impar.

DISYUNCIN.
La disyuncin de dos proposiciones simples se obtiene usando el conectivo lgico o. Por ejemplo, si r y s son las proposiciones: r: Seis es un nmero mayor que cinco. s: Seis es un nmero menor que tres.

Es importante tener en cuenta que la proposicin r V s es falsa, nicamente cuando las dos proposiciones r y s, son falsas.

Se escribe r V s, y se lee: Seis es un nmero mayor que cinco o seis es un nmero menor que tres.

IMPLICACIN.
La implicacin de dos proposiciones simples se obtiene utilizando el conectivo lgico sientonces. La implicacin entre dos proposiciones simples t y k se escribe t k y se lee si t entonces k. Por ejemplo, si t y k son las proposiciones: t: Francisco estudia. k: Aprobar el ao. Se escribe t k , y se lee: Si Francisco estudia entonces aprobar el ao

Es importante tener en cuenta que entre dos proposicin t y k es falsa, solo cuando t es verdadero y k es falsa.

E QUIVALENCIA .
La equivalencia entre dos proposiciones simples se establece utilizando el conectivo lgico si y solo s. Para representar la equivalencia entre dos proposiciones m y v se escribe m v y se lee m si y solo si v.

La equivalencia entre dos proposiciones simples es verdadera cuando ambas son verdaderas o cuando ambas son falsas.

Por ejemplo, si m y v son las proposiciones: m: Van de paseo por el eje cafetero. v: Ahorran todo el ao. Se escribe t k , y se lee: Van de paseo por el eje cafetero si y solo si ahorran todo el ao.

PARA FINALIZAR
Para identificar el valor de verdad de proposiciones compuestas, deben tener en cuenta las indicaciones dadas:
Negacin: Cuando se niega una proposicin simple se cambia su valor de verdad. Conjuncin entre p q es importante tener en cuenta que la proposicin compuesta es verdadera solo si p y q son verdaderas, en cualquier otro caso es falsa. Disyuncin: Es importante tener en cuenta que la proposicin r V s es falsa, nicamente cuando las dos proposiciones r y s, son falsas. Implicacin: Es importante tener en cuenta que entre dos proposicin t y k es falsa, solo cuando t es verdadero y k es falsa. Equivalencia entre dos proposiciones simples es verdadera cuando ambas son verdaderas o cuando ambas son falsas.

G RACIAS

Informacin de contacto: E-mail: edgarduarte22@hotmail.com Twitter: @edgarduarte22 Blog: http://profeedgarduarte.blogspot.com Skype: edgarduarte22