Professional Documents
Culture Documents
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
Operadores Lgicos
Negacin Conjuncin Disyuncin Inclusiva Disyuncin Exclusiva Implicacin Doble implicacin
Negacin
Este operador lgico cambia el valor de verdad de una proposicin a
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
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
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 b b b
Variaciones de la Condicional
Original: Recproca: Inversa: Contra recproca: proposiciones ab ba Se cambia el orden de las proposiciones
ab ba
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
a a a a
Formas Proposicionales
Se denominan formas proposicionales a las estructuras constituidas por variables proposicionales y los operadores lgicos que las relacionan
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
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
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.