Beruflich Dokumente
Kultur Dokumente
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
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
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.
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.
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...
~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:
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:
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
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:
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:
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
14
13
16 8 9
12
10 11
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
a.
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...
a.
La conjuncin y la disyuncin
6. Un ejemplo de conjuncin es: a. Pedro vive en Girardot o Bogot b. c. La manzana es roja o verde Yo estudio matemticas
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
a.
b.
c.
d.
.Escribir teoras
b. Representar las proposiciones simples
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 :
LOGICA MATEMATICA
Esperamos que te hayas divertido.