Tipos de proposiciones En adelante cuando hablemos de proposiciones, stas sern lgicas.

Si son abiertas, significar que el conjunto de sustituciones est bien definido y la harn verdadera o falsa. Para operar con las proposiciones, stas se clasifican en dos tipos: Simples y Compuestas, dependiendo de como estn conformadas. Proposiciones Simples Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o trminos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones ("si . . . entonces"). Pueden aparecer trminos de enlace en el sujeto o en el predicado, pero no entre oraciones. Proposiciones Compuestas Una proposicin ser compuesta si no es simple. Es decir, si est afectada por negaciones o trminos de enlace entre oraciones componentes. Ejemplos Ensayemos una lista clasificada y luego algunas aclaraciones: 1) Carlos Fuentes es un escritor. (Simple) 2) Sen(x) no es un nmero mayor que 1. (Compuesta) 3) El 14 y el 7 son factores del 42. (Simple) 4) El 14 es factor del 42 y el 7 tambin es factor del 42. (Compuesta) 5) El 2 o el 3 son divisores de 48. (Simple) 6) El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta) 7) Si x es nmero primo, entonces x impar. (Compuesta) 8) Si x > 10, entonces 2x - 3 > 16. (Compuesta) 9) No todos los nmeros primos son impares. (Compuesta)

USO DE CONECTORES LGICOS Los conectores lgicos son elementos lingsticos especializados en conectar frases, con el objeto de que la relacin lgico semntica entre stas resulte clara, perspicua y no ambigua. Tienen como funcin bsica sealar al lector, de manera explcita, el sentido con el que van encadenndose los diferentes fragmentos de un texto, para guiarlo en el proceso de interpretacin del mismo. Algunos especialistas han sugerido una comparacin muy clarificadora al relacionar el funcionamiento de los conectores lgicos con los de las seales de trnsito: de la misma manera que las seales viales indican itinerarios como vuelta a la derecha, curva peligrosa, etc., los conectores lgicos brindan instrucciones como la informacin que viene a continuacin constituye la causa de la cual se deduce lo que vendr detrs, la informacin que sigue se opone a la anterior, o atencin, ahora llega la conclusin, y por tanto, la informacin que realmente interesa. En consecuencia, los conectores lgicos o marcadores del discurso funcionan en un texto como seales indicativas al lector que un escritor eficaz distribuye a lo largo de su discurso, para que su lector siga sin esfuerzo ni dificultades el camino interpretativo trazado. Ahora bien, ese mismo autor debe tener mucho cuidado en que su lector no se despiste del camino diseado y realice una interpretacin contraria a lo que sugiere, o por decir lo menos, que encuentre muy difcil llegar a la conclusin que se propone; para evitarlo, el escritor deber vigilar escrupulosamente los conectores que inserta en su texto, y tendr buen cuidado de que stos expresen exactamente lo que conviene al sentido del texto.

TABLAS DE VERDAD La tabla de verdad es un intrumento utilizado para la simplificacin de circuitos digitales a travs de su ecuacin booleana. Las tablas de verdad pueden tener muchas columnas, pero todas las tablas funcionan de igual forma. Hay siempre una columna de salida (ltima columna a la derecha) que representa el resultado de todas las posibles combinaciones de las entradas. El nmero total de columnas en una tabla de verdad es la suma de las entradas que hay + 1 (la columna de la salida).

El nmero de filas de la tabla de verdad es la cantidad de combinaciones que se pueden lograr con las entradas y es igual a 2n, donde n es el nmero de columnas de la tabla de verdad (sin tomar en cuenta la columna de salida) Ejemplo: en la siguiente tabla de verdad hay 3 columnas de entrada, entonces habrn: 23 = 8 combinaciones (8 filas) Un circuito con 3 interruptores de entrada (con estados binarios "0" o "1"), tendr 8 posibles combinaciones. Siendo el resultado (la columna salida) determinado por el estado de los interruptores de entrada.

Los circuitos lgicos son bsicamente un arreglo de interruptores, conocidos como "compuertas lgicas" (compuertas AND, NAND, OR, NOR, NOT, etc.). Cada compuerta lgica tiene su tabla de verdad. Si pudiramos ver con ms detalle la construccin de las "compuertas lgicas", veramos que son circuitos constituidos por transistores, resistencias, diodos, etc., conectados de manera que se obtienen salidas especficas para entradas especficas La utilizacin extendida de las compuertas lgicas, simplifica el diseo y anlisis de circuitos complejos. La tecnologa moderna actual permite la construccin de circuitos integrados (ICs) que se componen de miles (o millones) de compuertas lgicas.

Tautologa En lgica, una tautologa (del griego , "decir lo mismo") es una frmula bien formada de un sistema de lgica proposicional que resulta verdadera para cualquier interpretacin; es decir, para cualquier asignacin de valores de verdad que se haga a sus frmulas atmicas.1 2 La construccin de una tabla de verdad es un mtodo efectivo para determinar si una frmula cualquiera es una tautologa o no.2 Tablas de verdad En un sistema de lgica proposicional, una interpretacin no es ms que una funcin que asigna un nico valor de verdad a todas las frmulas atmicas bajo consideracin. Diferentes interpretaciones, por lo tanto, difieren slo en las asignaciones de valores de verdad que hacen. Una tautologa es una frmula bien formada que bajo cualquier interpretacin de sus componentes atmicos, tiene valor de verdad 1 (verdadero). Por lo tanto, para determinar si una frmula cualquiera es una tautologa, basta con considerar todas las posibles interpretaciones de las frmulas atmicas, y calcular el valor de verdad del todo. Esto se logra mediante una tabla de verdad. Por ejemplo, considrese la frmula p q. Como a cada frmula atmica puede asignrsele uno de dos posibles valores de verdad, hay en total 22 = 4 posibles combinaciones de valores de verdad. Es decir, cuatro interpretaciones posibles: o ambas son verdaderas; o p es verdadera y q falsa; o p es falsa y q verdadera; o ambas son falsas. Esto puede presentarse mediante una simple tabla:

Para cada una de estas interpretaciones, puede calcularse el valor de verdad de la frmula p q. Los resultados pueden presentarse nuevamente mediante una tabla:

Esta es la tabla de verdad de la frmula p q. Como se ve, esta frmula slo es verdadera bajo una interpretacin: aquella en la que ambas frmulas atmicas son verdaderas. Una tautologa es una frmula cuyo valor de verdad es 1 para todas las interpretaciones posibles de las frmulas atmicas. Por lo tanto, p q no es una tautologa. En cambio, la siguiente tabla de verdad muestra una frmula que s lo es:

Si una frmula tiene n frmulas atmicas, entonces tiene 2n interpretaciones posibles. En muchos casos, por lo tanto, las tablas de verdad pueden ser muy grandes. Lo importante, sin embargo, es que dado que la lgica proposicional no admite frmulas infinitas, el nmero de interpretaciones posibles siempre ser un nmero finito, y por lo tanto siempre ser posible decidir si una frmula cualquiera es una tautologa o no.

Tautologa: Son aquellas frmulas que son ciertas para cualquier valoracin de los smbolos proposicionales que contiene Contradiccin: Son aquellas frmulas que son falsas para cualquier valoracin de los smbolos proposicionales que contiene Contigencia: Son aquellas frmulas cuyo valor de verdad o falsedad depende de la valoracin de los smbolos proposicionales que contiene.

RELACION DE LA LOGICA CON LA VIDA COTIDIANA La logica te ayuda a resolver los problemas de forma instantanea, sin tener que pedir pistas, ni consejos de nadie. Es importante saber que es la logica? Tu lo sabes? Originalmente significa la palabra, o lo que es hablado, (viene a significar pensamiento o razn) es el estudio del criterio para la evaluacin o argumentos, aunque la exacta definicin de lgica es una materia de controversia entre filsofos. Tradicionalmente, la lgica es estudiada como una parte de la filosofa, una parte de la clsica trivia, el cual consiste en la gramtica, lgica y retrica. Es cuestion de emplear un poco el sentido comun en tu cotidianidad. Saber que todo cae por su propio peso y que no es necesario inventar cosas, ilusiones, sino que solo algo cierto y muy logico, predomina ante todo.