LA LOGICA
¿Que es la lógica?
La lógica es el estudio de los principios del razonamiento válido y la inferencia, como también de la consistencia, solidez
¿Que es una proposición?
Una proposición es una sentencia que puede ser verdadera, circunstancia que indicaremos asociándola el valor de verdad V, o falsa, en cuyo caso le asociaremos el valor de verdad F
Se constituyen por:
Proposiciones simples
Cuando NO usa conectores lógicos o términos de enlace (y, o, no, si… entonces…, si y sólo si)
Proposiciones compuestas
Cuando se juntan varias proposiciones simples con conectores lógicos o términos de enlace
Para la construcción de proposiciones se utilizan los siguientes conectores:
La negación.
Es una expresión completa considerada como unidad. Refleja el sentido de “no” o “es falso que” del lenguaje ordinario. Vamos a representarla con la tilde “~”. Representa la inversión del valor de verdad de una proposición. Ejemplo: Si P significa "hoy es festivo", entonces ~P significa "hoy no es festivo"
Su tabla de verdad es: 
La conjunción.
es un conectivo binario. Una conjunción es Falsa cuando cualquiera de sus componentes es Falso. Refleja el sentido de “y”, “pero”, “que”, entre otros, del lenguaje ordinario. Se representa por el símbolo “^”. Ejemplo: P = "hoy es sábado" y Q = "hoy es quincena"; entonces P^Q significa :" hoy es sábado y es quincena"
La disyunción
La proposición "p o q" es FALSA únicamente en el caso en que p y q sean falsas; en cualquier otro caso es verdadera. Se escribe "p V q" y se lee "p o q".
Ejemplo: P = "Hoy estoy sábado" y Q = "hoy estoy nervioso", entonces P ∨ Q "hoy es sábado o estoy nervioso"
Su tabla de verdad es:
La condicional
Se simboliza como "p -> q", y se lee "Si p entonces q". Es una nueva proposición compuesta que es FALSA únicamente en el caso en que la proposición p es VERDADERA y la proposición q es FALSA.
Ejemplo: Si 0 = 1 entonces 1 = 2
Su tabla de verdad es:
La bicondicional
Este conectivo también es llamado doble implicación o teorema recíproco. La bicondicional sólo es verdadera si sus dos componentes tienen el mismo valor de verdad, es decir, ambos son Verdaderos o ambos son Falsos. Refleja el sentido de “si y sólo si”, “equivale a”. Se representa por medio de una flecha doble: “↔”. Ejemplo: P: "hoy es sábado" y Q: "mañana sera domingo" significa: "hoy es sábado equivale a que mañana sera domingo.
Su tabla de verdad es:
Su tabla de verdad es
Creación de tablas
Sistema Binario: tiene como base el número 2 y se compone de dos caracteres ("1" y "0")
Las tablas se rigen por:
n es el número de proposiciones
2n es el número de filas posibles
TAUTOLOGIA
es cuando toda proposición simple o compuesta da siempre como resultado VERDADERO.
Ejemplo: la proposición [ ( (~p) V q ) Λ ~q ] ~p
CONTRADICCIÓN
es cuando toda proposición simple o compuesta da siempre como resultado FALSO.
Ejemplo: la proposición [ ( p Λ q ) V q ] Λ ~q
CONTINGENCIA
es cuando toda proposición simple o compuesta da como resultado al menos un VERDADERO y un FALSO.
Ejemplo: la proposición [ ( p Λ q ) V (~ p) ]