LGICA

Ing. Daniel Palomares

Qu es el Razonamiento?
Operacin mental por la cual a partir de una o varias premisas se deduce una nueva premisa, tambin llamada conclusin.
Premisas: a) Cristian es mayor que Vernica b) Vernica naci dos aos antes que Silvana. Conclusin: Cristian es mayor que Silvana

Qu es la Lgica?
Es el anlisis formal de los razonamientos, es decir si la conclusin del razonamiento deriva de una secuencia lgica de las premisas que la fundamentan.
Premisas: a) Cristian es mayor que Vernica b) Vernica naci dos aos antes que Silvana. Conclusin: Cristian es mayor que Silvana

La conclusin es Verdadera o Falsa?

Divisin de la Lgica
L O G I C A G E N E R A L

Lgica Dialctica

Estudia el contenido

Lgica Formal
(Lgica Matemtica)

Estudia la forma Lgica Proposicional

Qu es una Proposicin?
Es toda frase con sentido completo y que puede ser valorada como verdadera o falsa. Una proposicin puede identificarse a travs de una variable proposicional (letras minsculas) Ejemplos: Variables Proposicionales
Letras minsculas de la p a la z p: Los perros siempre tienen tres patas. q: Miriam se casar con Ricardo.

Clases de proposiciones
Existen dos clases de proposiciones:
Proposiciones simples (no usan operadores lgicos) Proposiciones compuestas (si usan operadores lgicos)

Ejemplos:
Juan juega en el patio (proposicin simple) Juan juega en el patio y Carlos en el Jardn (proposicin compuesta)

Operadores Lgicos
Son trminos funcionales que enlazan las proposiciones simples para formar proposiciones compuestas.

Mondicos

Negador Conjuntor Disyuntor Dbil Disyuntor Fuerte Implicador Replicador Biimplicador

Didicos

1.- Negador

Cambia el valor de verdad de una proposicin simple.

Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemtica Aplicando el operador lgico resulta:
~p: Ricardo no juega en el patio ~q: Es falso que Eduardo estudia matemtica

2.- Conjuntor

Afirma que las dos proposiciones son verdaderas. Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemtica Aplicando el operador lgico resulta:

pq: Ricardo juega en el patio y Eduardo estudia matemtica. qp: Eduardo estudia matemtica mientras que Ricardo juega en el patio.

3.- Disyuntor dbil

Afirma que una o ambas proposiciones pueden ser verdaderas. Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemtica Aplicando el operador lgico resulta:

pq: Ricardo juega en el patio o Eduardo estudia matemtica. qp: Eduardo estudia matemtica a menos que Ricardo juege en el patio.

4.- Disyuntor fuerte

Afirma que slo una de las proposiciones puede ser verdadera. Ejemplo: p: Ricardo juega en el patio q: Eduardo estudia matemtica Aplicando el operador lgico resulta:

pq: O Ricardo juega en el patio o Eduardo estudia matemtica. rs: En el ltimo clsico gan Alianza o gan Universitario

5.- Implicador

Indica una relacin de causa-efecto. La proposicin de la izquierda condiciona a la de la derecha. Admite ms de un condicionante.

Ejemplo: p: Eduardo estudia matemtica q: Eduardo juega en el patio Aplicando el operador lgico resulta:
pq: Si Eduardo estudia matemtica entonces Eduardo jugar en el patio.

6.- Replicador

Indica una relacin de efecto-causa La proposicin de la derecha condiciona a la de la izquierda. Admite ms de un condicionante.

Ejemplo: p: Eduardo estudia matemtica q: Eduardo juega en el patio Aplicando el operador lgico resulta:
pq: Eduardo jugar en el patio siempre que estudie matemtica

7.- Biimplicador

Indica una relacin de causa-efecto. La proposicin de la izquierda condiciona a la de la derecha. Slo admite una y slo una condicionante.

Ejemplo: p: Eduardo estudia matemtica q: Eduardo juega en el patio Aplicando el operador lgico resulta:
pq: Si y solo si Eduardo estudia matemtica entonces jugar en el patio.