Está en la página 1de 50

PRESENTA:

Etimolgicamente Lgica es la ciencia del Logos. Originalmente Logos es palabra o discurso, por lo que en un principio se defini la lgica en aquella poca, como la rama de la gramtica que se ocupaba de ciertas formas del lenguaje. Como la palabra es la expresin o manifestacin del pensamiento y el pensamiento racional es la base de la filosofa, puede decirse en general, que la lgica es la ciencia del pensamiento racional; es importante aclarar que la lgica no se ocupa del contenido de los pensamientos sino de la manera o forma de los pensamientos.

En respuesta a la necesidad de construir argumentos para defender o refutar pensamientos de los dems, Aristteles, considerado por los griegos el padre de la lgica, creo mtodos sistemticos para analizar y evaluar dichos argumentos, para lo cual desarroll la lgica proposicional estableciendo procedimientos para determinar la verdad o falsedad de proposiciones compuestas. La lgica por ser una forma de racionamiento 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 matemticos para demostrar teoremas e inferir resultados matemticos que puedan ser aplicados en investigaciones. En la computacin para revisar programas. 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.

HOLA AMIGUITO: Ahora ya sabes que es la lgica y te invito a que demos un paseo por el PARQUE LOGICA, sigue el sentido de las flechitas y aprenders

CONECTIVOS LOGICOS Y PROPOSICIONES COMPUESTAS

CUANTO APRENDI

LEYES DE LA LOGICA

TABLAS DE VERDAD

Las leyes basan su principal anlisis en la validez de los razonamientos y argumentos a partir de proposiciones y oraciones dadas, entre los cuales tenemos: -Tautologa -Ley de la doble negacin -Ley del medio excluido

-Ley de la transitividad
-Ley de la contra reciproca -Silogismo disyuntivo

Esta tautologa establece que cualquier proposicin es equivalente as misma, esto es: p p su tabla de verdad es:
p V F p V V p

La contradiccin clsica o trivial: Es la proposicin compuesta p p


p V F ~p F V p F F ~p

Esta tabla muestra claramente que la ltima columna esta conformada solamente por valores falsos, por tal razn a la preposicin p ~p se llama contradiccin trivial.

La doble negacin es una tautologa y se demuestra as: Equivalencia entre p y ~ (~ p)


p V F ~p F V ~ (~p) V F P V V ~(~p)

p: El acusado es inocente ~p: El acusado no es inocente, el acusado es culpable ~(~p - p): El acusado no es culpable

Tambin llamada silogismo hipottico considera cadenas largas de razonamiento mediante la conexin de varias proposiciones de la forma si - entonces.

La transitividad se expresa simblicamente as:


[ (p q) (q r)] (p r)

Tomemos las siguientes proposiciones:

La doble negacin es una tautologa y se demuestra as: Equivalencia entre p y ~ (~ p)


p V F ~p F V ~ (~p) V F P V V ~(~p)

Ejemplo: sean las proposiciones p: es de da ~ p: no es de da, es de noche

Una proposicin puede ser siempre reemplazada por su contra reciproca sin afectar su valor de verdad A continuacin demostramos la proposicin 2 y las dems se dejan como ejercicio.

~q

~p

Ahora veamos...

La contra reciproca de la proposicin p

~q

p q V V V F

~q p ~q ~p F V F V F F

~p F V

(p p)

~q) V V

(q ~

F
F

V
F

F
V

V
V

V
V

V
V

V
V

Con la prueba de estas equivalencia se verifica que una proposicin puede ser reemplazada por su contra recproca sin afectar su valor de verdad.

Esta tautologa supone la disyuncin p v q verdadera, para el caso en que p es falsa y q es verdadera, con lo cual se obtiene que ~ p es verdadera Teniendo como premisa (o hiptesis) p v q verdadera y ~ p verdear, este silogismo permite concluir q. [(p v q ) ^ ~ p] q
La tabla es la siguiente:

Tabla de Silogismo Disyuntivo


p V V F F q V F V F pvq V V V F ~p F F V V (pvq)^~ p F F V F [( p v q )^ ~ p] q V V V V

Una tabla de verdad es una representacin esquemtica de las relaciones entre proposiciones; sirve para determinar los valores de verdad de las proposiciones compuestas, las cuales dependen de los conectivos utilizados y de los valores de verdad de sus proposiciones simples.

NEGACION

CONDICIONAL BICONDICIONAL

Se utiliza para conectar dos proposiciones que se deben cumplir para que se pueda obtener un resultado verdadero. Si smbolo es: un punto (.), un parntesis . Se le conoce como la multiplicacin lgica, Ejemplo:
Sea el siguiente enunciado: "El coche enciende cuando
tiene gasolina en el tanque ytiene corriente la batera" De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue:

Su tabla de verdad es:

Donde: 1 = Verdadero; 0 = Falso


q
1 1 0 0

r
1 0 1 0

p=q r
1 0 0 0

En la tabla anterior el valor de q = 1 significa que el tanque tiene gasolina, r = 1 significa que la batera tiene corriente y p = q r = 1 significa que el coche puede encender. Se puede notar que si q o r valen cero implica que el auto no tiene gasolina y que por lo tanto no puede encender.

Con este operador se obtiene un resultado verdadero cuando alguna de las proposiciones es verdadera. Se indica por medio de los siguientes smbolos: { V ,+, U }. Se conoce como las suma lgica. Ejemplo. Sea el siguiente enunciado: Una persona puede entrar

Al cine si compra su boleto u obtiene un pase


De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue: Su tabla de verdad es:

Donde: 1 = Verdadero; 0 = Falso


p
1 1 0 0

q
1 0 1 0

pVq
1 1 1 0

Una proposicin condicional, es aquella que est formada por dos proposiciones simples (o compuesta) p y q. La cual se indica de la siguiente manera: P q Se lee Si p entonces q Ejemplo. El candidato del PRI dice Si salgo electo presidente de la Repblica recibirn un 50% de aumento en su sueldo el prximo ao. Una declaracin como esta se conoce como condicional. Su tabla de verdad es la siguiente:

Su tabla de verdad es:

Donde: 1 = Verdadero; 0 = Falso

p
1 1 0 0

q
1 0 1 0

pq
1 0 1 1

Sean p y q dos proposiciones entonces se puede indicar la proposicin bicondicional de la siguiente manera: Esto significa que p es verdadera si y solo si q es tambin verdadera. O bien p es falsa si y solo si q tambin lo es. Ejemplo: Es buen estudiante, si y solo si; tiene promedio de diez

De tal manera que la representacin del enunciado anterior usando simbologa lgica es como sigue:
Su tabla de verdad es:

Donde: 1 = Verdadero; 0 = Falso

p
1 1 0 0

q
1 0 1 0

p q
1 0 0 1

La proposicin condicional solamente es verdadera si tanto p como q son falsas o bien ambas verdaderas

Su funcin es negar la proposicin. Esto significa que s alguna proposicin es verdadera y se le aplica el operador not se obtendr su complemento o negacin (falso). Este operador se indica por medio de los siguientes smbolos: { ', , - }. Ejemplo. La negacin de est lloviendo en este momento (p = 1), es no est lloviendo en este momento(p=0)

Existen conectores u operadores lgicos que permiten formar proposiciones compuestas (formadas por varias proposiciones). Los operadores o conectores bsicos son:

Una tabla de verdad es una representacin esquemtica de las relaciones entre proposiciones; sirve para determinar los valores de verdad de las proposiciones compuestas, las cuales dependen de los conectivos utilizados y de los valores de verdad de sus proposiciones simples. Ellas son: -Operador and -Operador or -Operador not -Condicional -Bicondicional

AHORA VEAMOS CUANTO APRENDI:


1 2 3 15 4 5 6 7

14
13

16 8 9

12
10 11

Preguntas con nicas respuestas:


Un ejemplo que ilustra la simbolizacin de las proposiciones es:
1. a. q: Estudia Ingeniera de Sistemas.. b x: El tringulo es menor que el circulo c. t: X + 5 = 9 d. s : 2 + Y + Z = 15

QUE BIEN ! ACERTASTE

LO SIENTO ! PRUEBA DE NUEVO

2. Un ejemplo de una proposicin con sentido completo cuyo valor es verdadero es: a. s: 3 es un nmero par b. r: Ibagu es la capital de Cundinamarca c. t: Medelln es la capital de Antioquia.... d. x: 5 es divisible por dos

3. Un ejemplo de una proposicin simple es:

a.

l: Esta lloviendo y el sol brilla

b. m: Las rosas son rojas y tienen espinas c. n: El libro es grande y tiene hojas d. o: El eclipse es un fenmeno natural...

4. La palabra conectivo lgico hace referencia a:

a. Termino que sirve para unir o enlazar proposiciones simples.


b. Oracin con sentido completo c. Combinacin de dos ms proposiciones

u d. Utilizacin de los nmeros naturales

5. Los conectivos lgicos ms usados son:

a.

La conjuncin y la disyuncin

b. La conjuncin, disyuncin, condicional y bicondicional . c. d. La condicional y bicondicional La negacin y doble negacin

6. Un ejemplo de conjuncin es: a. Pedro vive en Girardot o Bogot b. c. La manzana es roja o verde Yo estudio matemticas

d. Seis es un nmero par y entero positivo

7. Un ejemplo de una negacin de una proposicin es: a. 3 es un nmero entero positivo B. 3 es un nmero entero primo c. El carro de Juan no es Verde d. El carro de Juan es verde

8. Un ejemplo de disyuncin es:

a. Juan estudia matemticas o Martha estudia sociales b. Alexandra vive en Barranquilla


c. Luz Daly vive en Flandes D d.El pibe juega ftbol y baloncesto

9. Un ejemplo de una negacin de una proposicin es:

a.
b.

3 es un nmero entero positivo


3 es un nmero entero primo

c.
d.

El carro de Juan no es Verde


El carro de Juan es verde

10. Una tabla de verdad se utiliza para:

.Escribir teoras
b. Representar las proposiciones simples

c Determinar los valores de verdad de las proposiciones empleadas


d. Determinar las tautologas

11. La tabla de verdad p ^ q es verdadera cuando:

a. Ambos valores son falsos


b. El primer valor es falso y el segundo verdadero c. Ambos valores son verdaderos d. El primer valor es verdadero y el segundo es falso

12. Una tautologa se puede definir como:


a. Una proposicin compuesta verdadera en todos los casos b. Una proposicin compuesta falsa en todos los casos c. Un razonamiento lgico de las proposiciones simples

d. Un razonamiento lgico de las proposiciones compuestas

13. Las tautologas tambin se pueden llamar: a. c c. Falacias Razonamientos b b. Triviales dd. Leyes

14. Una contradiccin es: a. Proposicin compuesta verdadera en todos los casos b. Proposicin que contiene valores de verdad y falsedad c. Proposicin que contiene negacin d. Proposicin compuesta falsa en todos los casos

15. Un razonamiento es: a. Mtodo que permite la formacin de una cadena de proposiciones b. Proceso que se realiza para obtener una demostracin c. La base fundamental para la aplicacin de un principio lgico

d. Afirmacin que una proposicin toma uno de los dos valores de verdad

16. Las clases de tautologas son: a. Trivial B Doble negacin c. Ley del medio excluido y razonamiento D Todas las anteriores

Hola Amiguito :

Ahora ya tienes los conocimientos suficientes sobre

LOGICA MATEMATICA
Esperamos que te hayas divertido.