Lgica y Conjuntos

Proposicin
Una proposicin es una unidad semntica o una afirmacin que, o solo es verdadera o solo es falsa.

Valor de verdad
El valor de verdad de una proposicin es la cualidad de veracidad que describe adecuadamente la proposicin. Este puede ser verdadero o falso representados respectivamente: Verdadero= 1 Falso= 0

Tabla de verdad
Una tabla de verdad es una representacin de los posibles valores de verdad que podra tomar una proposicin. a 0 1 a 0 0 1 1 b 0 1 0 1 a 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 c 0 1 0 1 0 1 0 1 a 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 b 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 c 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 d 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

La cantidad de combinaciones depende de la cantidad de proposiciones.

Operadores Lgicos
Negacin Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Implicacin Doble implicacin

Negacin
Este operador lgico cambia el valor de verdad de una proposicin a

a 0 1 1 0 Se presenta en trminos gramaticales como: No Ni No es verdad que No es cierto que

Conjuncin ^
Este operador lgico relaciona 2 proposiciones para formar una nueva, en la cual la proposicin resultante ser verdadera solamente cuando el valor de verdad de ambas proposiciones es verdadero a^ a b b 0 0 0 0 1 0 1 0 0 1 1 1 Se presenta en trminos gramaticales como: Y Pero Mas , . ;

Disyuncin Inclusiva v
Este operador lgico relaciona 2 proposiciones para formar una nueva, en la cual la proposicin resultante ser falsa solamente cuando el valor de verdad de ambas proposiciones es falso a b 0 0 1 1 0 1 0 1 av b 0 1 1 1

Se presenta en trminos gramaticales como: O

Disyuncin Exclusiva

Este operador lgico relaciona 2 proposiciones para formar una nueva, en la cual la proposicin resultante ser verdadera cuando solamente una de ellas sea verdadera a b 0 0 1 1 0 1 0 1 a b 0 1 1 0

Se presenta en trminos gramaticales como: O O slo O solamente O,O

Condicional

Este operador lgico se denomina tambin enunciacin hipottica o implicacin. En la proposicin ab a es el antecedente, hiptesis o premisa; b es el consecuente, conclusin o tesis. La proposicin resultante ser falsa solamente cuando el valor de verdad del antecedente sea verdadero y el valor de verdad del consecuente sea falso a b 0 0 1 1 0 1 0 1 a b 1 1 0 1

Se presenta en trminos gramaticales como: Si a entonces b a solo si b a solamente si b Si a, b Cuando a, b Los a son b a implica b b con la condicin de que a b siempre que a b cada vez que a

-b si a -b cuando a -se tiene b si se tiene a -solo si b, a -b, pues a

b b b b

ya que a debido a que a puesto que a porque a

Variaciones de la Condicional
Original: Recproca: Inversa: Contra recproca: proposiciones ab ba Se cambia el orden de las proposiciones

ab ba

Se niegan ambas proposiciones Se cambia el orden y se niegan ambas

Condiciones Necesarias y Suficientes ab1

Aparece cuando la condicional es verdadera

Condicin Suficiente

ab

Condicin Necesaria

Se puede parafrasear de la siguiente manera: basta a para que b se necesita b para que a para que suceda a es necesario que suceda b b con la condicin de que a

Bicondicional

Este operador lgico tambin se denomina doble implicacin La proposicin ab ser verdadera cuando los valores de verdad de ambas proposiciones sean iguales a 0 0 1 1 b ab 0 1 1 0 0 0 1 1

Se presenta en trminos gramaticales como:

Proposiciones Simples y Compuestas

Proposicin Simple Proposiciones simples son aquellas que no poseen operador lgico Proposicin Compuesta Las proposiciones compuestas estn formadas por otras proposiciones y operadores lgicos

a a a a

si y solo si b si y solamente si b implica b y b implica a cundo y solo cuando b

Formas Proposicionales
Se denominan formas proposicionales a las estructuras constituidas por variables proposicionales y los operadores lgicos que las relacionan

a (pq) proposicin simple proposicional Tautologa

p:(avb)

A:[(pvq)r]

variable proposicional

forma

Si se tiene solamente proposiciones verdaderas para todos los valores de verdad de las variables proposicionales, se dice que es una tautologa

Contradiccin
Si se tienen solamente proposiciones falsas para todos los valores de verdad de las variables proposicionales, se dice que es una contradiccin

Contingencia
Si se tienen algunas proposiciones verdaderas y otras falsas para los valores de verdad de las variables proposicionales, se dice que es una contingencia

Implicacin lgica
Sean A y B dos formas proposicionales, se dice que A implica lgicamente a B, denotado por A B, s y solo si AB es una tautologa.

Equivalencia Lgica

Sean A y B dos formas proposicionales, se dice que A es equivalente lgicamente a B, denotado por AB, si y solo si AB es una tautologa

Propiedades de los operadores lgicos

CONJUNCIN (p^q) (q^p) [(p^q)^r] [(p^(q^r)] (p^p) p (p^1) p (p^0) 0 0 1 1 0 (p) p pv(q^r) (pvq) ^ (pvr) p^(qvr) (p^q) v (p^r) (p^q) (pvq) (pvq) (p^q) (pvp) 1 (p^p) 0 (pq) (qp) (pq) (pvq) (pq) (pvq) (pq) (p^q) [(p^q)r] [p(qr) (pq) [(p^q)0] (pq) [(pq)^(qp) (pq) (qp) [(pr) ^ (qr)] [(pvq)r] [(pq) ^ (pr)] [p(q^r)] Exportacin Reduccin al Absurdo Equivalencia Implicacin Conmutati va Asociativa Idempoten cia Identidad Absorcin DISYUNCIN (pvq) (qvp) [(pvq)vr] [(pv(qvr)] (pvp) p (pv0) p (pv1) 1

Negacin Doble Negacin o Involutiva Distributivas

De Morgan Tercero Excluido Contradiccin Contrapositiva o Contrarrecproca

Razonamientos
Son proposiciones compuestas que pueden ser representadas por la conjuncin de proposiciones denominadas premisas o hiptesis, la condicional como operador lgico principal, y una proposicin final denominada conclusin

[H1 H2 H3 Hn] Conjuncin de hiptesis Conclusin Antecedente Consecuente

Condicional Operador Lgico

El razonamiento puede ser: Pasos 1. 2. 3. 4. Tautologa Contradiccin Razonamiento no Vlido Contingencia a seguir en un razonamiento Identificar y definir las proposiciones simples Identificar y definir las hiptesis y la conclusin Establecer la estructura lgica correspondiente al Razonamiento Determinar la validez del razonamiento para lo cual podemos usar: a) Tablas de verdad b) Propiedades de los operadores lgicos c) Demostraciones directas Razonamiento Vlido

Demostracin Directa Utilizando las propiedades de los operadores lgicos, demostramos directamente el razonamiento hacindolo verdadero (1)

Demostracin por Contra recproca Aplicamos la ley de la contra recproca y luego utilizamos propiedades de los operadores lgicos hacindolo verdadero (1) Reduccin al Absurdo Partimos de la situacin en la que la condicional resulte falsa, ya que si esto se cumple, estaremos seguros que la forma proposicional no es tautolgica Decimos que el antecedente es verdadero y el consecuente falso. Una vez hecho esto, buscamos los valores de verdad del resto de proposiciones simples que nos quedan, y si se cumple que 1 0, entonces decimos que el razonamiento no es vlido, si no se cumple, entonces es verdadero.