LOGICA PROPORCIONAL
Emerson RiosInforme9 de Octubre de 2018
5.222 Palabras (21 Páginas)1.180 Visitas
LÓGICA PROPOSICIONAL
INTRODUCCIÓN: La Lógica estudia la forma de razonamiento. Es una disciplina que se utiliza para determinar si un argumento es válido, tiene aplicación en todos los campos del saber, en la filosofía, para determinar si un razonamiento es válido o no, ya que una frase puede tener diferentes interpretaciones; sin embargo la lógica permite saber el significado correcto. Los matemáticos usan la lógica, para demostrar teoremas e inferir resultados que puedan ser aplicados en investigaciones. En la computación, para revisar programas y crear sus algoritmos, es utilizada en el diseño de computadoras. Existen circuitos integrados que realizan operaciones lógicas con los bits, gracias a estos se ha desarrollado las telecomunicaciones (telefonía móvil, internet,…). Los sistemas lógicos se han presentado como herramientas que deberán llevar a cabo la representación de afirmaciones y el razonar y deducir de manera simbólica.
La lógica proposicional es un primer tipo de sistema lógico, en el que se manejan afirmaciones con una estructura de complejidad bastante simple. Por ser así de simple, en la lógica proposicional es fácil definir y entender qué es ser verdad, cuando una afirmación es cierta, cuando vale en cualquier escenario, y muchos otros conceptos interesantes. Es un primer peldaño de una escala de sistemas lógicos en la que los peldaños más altos incluyen a los más bajos, ganando en expresividad pero también en complejidad.
LOGICA PROPOSICIONAL
ENUNCIADO: Es cualquier frase u oración que expresa una idea.
PROPOSICIÓN: Son oraciones aseverativas que se pueden calificar como verdaderas o falsas. Se representan con las letras minúsculas del abecedario: [pic 2]
Ejemplo:
- Túpac Amaru murió decapitado : p
- 9 :q[pic 3]
- 45 = 3 – 2: r
ENUNCIADO ABIERTO: Son enunciados que pueden tomar cualquiera de los 2 valores de verdad.
Ejemplo:
Si: [pic 4]
Se cumple que: [pic 5][pic 6]
El valor de verdad de depende del valor de x, también, se le conoce como función proposicional.[pic 7]
CLASES DE PROPOSICIONES:
- Proposición Simple: son proposiciones que no tienen conjunciones gramaticales ni adverbio de negación.
Ejemplo: * Cincuenta es múltiplo de diez.
- Proposición Compuesta: Formada por dos o más proposiciones simples unidas por conectivos lógicos o por el adverbio de negación.
Ejemplo: *29 es un número primo y 5 es impar.
CONECTIVOS LOGICOS: Símbolos que enlazan dos o más proposiciones simples para formar una proposición compuesta.
Los conectores lógicos que usaremos son:
SIMBOLO | OPERACIÓN | SIGNIFICADO |
[pic 8] | Negación | No p |
[pic 9] | Conjunción | P y q |
[pic 10] | Disyunción Inclusiva | P o q |
[pic 11] | Condicional | Si p, entonces q |
[pic 12] | BicondicionaL | P si y sólo si q |
[pic 13] | Disyunción Exclusiva | “o………o……..” |
TABLA DE VALORES LÓGICOS:
P q | [pic 14] | [pic 15] | [pic 16] | [pic 17] | [pic 18] | [pic 19] | [pic 20] |
1 1 | 1 | 1 | 0 | 1 | 1 | 0 | 0 |
1 0 | 0 | 1 | 1 | 0 | 0 | 0 | 1 |
0 1 | 0 | 1 | 1 | 1 | 0 | 0 | 1 |
0 0 | 0 | 0 | 0 | 1 | 1 | 1 | 1 |
El uso de los operadores se da en el diseño de las computadoras.[pic 21]
- Los coligadores de la conjunción, son: “pero”, “sin embargo”, “además”, “no obstante”, “aunque”, “a la vez”, “más aún”, etc.
- Los coligadores de la condicional, son: “Si… entonces…”, “es suficiente que… para que…”; adicionalmente las expresiones: “cuando”, “solo cuando”, “cada vez que”, “dado que”, “puesto que”, “siempre que”, etc. Son coligadores condicionales también. Se caracterizan porque después de estos términos está el antecedente .La coma es un enunciado que expresa una condicional.
- Los coligadores de la bicondicional, son:”si y solo si…entonces…”, “Es suficiente y necesario que…para que…”, “… siempre y cuando…”, etc.
Ejemplos:
- Simbolizar la siguiente proposición: “Si fumo demasiado entonces me duele la garganta, y me duele la garganta, por lo tanto fumo demasiado”
- Simbolizar la siguiente proposición: “Si el triángulo tiene dos lados iguales, entonces el triángulo se llama isósceles y el triángulo no se llama isósceles, luego el triángulo no tiene dos lados iguales”
- Simbolizar la siguiente proposición: “Si yo trabajo , gano dinero, y si no trabajo entonces me divierto por lo tanto si no gano dinero me divierto”
- Una madre ha prometido a su hijo “Si comes espinacas y el hígado entonces podrás salir a jugar”.
El niño sólo come las espinacas, pero la madre le permite salir a jugar. ¿Ha “roto” la madre su promesa?
- Simbolizar:
“Si Julieta es española entonces es aficionada a la fiesta brava y Julieta no es aficionada a la fiesta brava por lo tanto, no es española”. Elaborar su tabla de verdad.
Ejercicios – Lógica Proposicional
- Se sabe que: y se afirma [pic 22]
- [pic 23]
- [pic 24]
- [pic 25]
- Haciendo uso de la tabla de valores resolver:
- [pic 26]
- [pic 27]
- [pic 28]
- Si la proposición: .Hallar los valores de en ese orden.[pic 29][pic 30]
- Si [pic 31]
- Si la proposición: . Deducir el valor de verdad de: [pic 32][pic 33]
- Si la proposición: . Hallar el valor de verdad de las siguientes formulas:[pic 34]
- [pic 35]
- [pic 36]
- [pic 37]
- Si .Hallar :[pic 38]
- [pic 39]
- [pic 40]
- Si la proposición: . Hallar: [pic 41][pic 42]
- Si la proposición: Hallar: [pic 43][pic 44]
- [pic 45]
- [pic 46]
- [pic 47]
- Si la proposición: .Hallar: [pic 48]
- [pic 49]
- [pic 50]
- Si la proposición: . Hallar: [pic 51][pic 52]
- Dado el siguiente esquema: . Hallar el valor de: [pic 53][pic 54]
- Si el esquema mostrado: . Halle:[pic 55]
- [pic 56]
- [pic 57]
- [pic 58]
- Si: .Hallar: [pic 59][pic 60]
- Si: .Hallar: [pic 61][pic 62]
- Siendo las proposiciones:
[pic 63]
Se pide escribir en lenguaje simbólico cada una de las siguientes proposiciones:
- Luz es estudiosa y Milagros es inteligente.
- Luz no estudia o Milagros es inteligente.
- Si Milagros es inteligente, entonces Luz es estudiosa.
- No es cierto que luz sea estudiosa ni es cierto que Milagros sea inteligente.
- Si Luz es estudiosa, entonces Milagros es inteligente.
- Luz es estudiosa si y sólo si Milagros no es inteligente.
- Determine el de verdad de las siguientes proposiciones:
- 5 es un número par y entero
- 8 es un número impar a la vez que el doble de 4
- Juan será deportista o artista
- O Eduardo es ingeniero o es abogado
- O Vargas Llosa es autor de casa verde o es autor de la odisea
- No ocurre que éste sea mi mejor día
- Es imposible que hoy no anote un gol
- Es imposible que no trabaje y no tenga plata
- Si Pedro termina sus estudios entonces será un profesional
- Si los monos son humanos entonces la tierra es plana
- Juna no está bien de salud porque no se cuido
- 14 es múltiplo de puesto que 14 es número par
- Lucy aprobará el ciclo si y solo si obtiene notas aprobatorias
- Simbolizar:
- “José llego tarde, sin embargo dio examen”
- “Maradona jugó, aunque estuvo lesionado”
- “si 9 es múltiplo de 3 y 12 es múltiplo de 3, entonces , 9+12 es múltiplo de 3”
- “No es el caso que Pedro baile y no cante”
- “Manuel es juez pero honesto”
- Las computadoras son caras, sin embargo son muy útiles.
- 3 es menor que 5, pero mayor que 1.
- El profesor no controló la asistencia puesto que la oficina de la dirección del colegio estaba cerrada y no estaba el portero”
Observación: Cuando en un párrafo se encuentran los términos:
“porque, puesto que, ya que, siempre que, cuando, si, cada vez que, dado que”; estos términos, también, son conectivos condicionales. Se caracterizan porque después de cada uno de estos términos está el antecedente.
- Pedro compra un libro sólo cuando tiene dinero.
- Doy examen sólo cuando estudio.
- Iré de viaje y me divertiré, si me saco la lotería.
- Se apagaron las luces porque se interrumpió el fluido eléctrico.
- Roberto aprobará el curso puesto que dio buen examen.
- El número entero b es primo, si b es divisible por 1 y por si mismo.
- Proposición Recíproca:
- Si hoy es sábado, mañana es domingo.
- Si mañana es domingo, hoy es sábado.
- Proposición inversa o contrario:
- a es positivo, si a es mayor que cero.
- a no es positivo, si a no es mayor que cero.
- La Negación:
- “no es el caso que Newton fue matemático y filósofo”
- “es falso que pelé jugó en Asia y no estudió en África”
- “Es falso que una buena bicicleta no es barato”
- “No es el caso que un libro caro es bueno”
- Si me aumentan el sueldo y ahorro, viajaré al cuzco.
- O Cubillas juega si le contrate el Alianza Lima, o habrá protesta si no juega.
- Las personas nadarán en el mar si la municipalidad da el permiso, si y sólo si el clima no está frío.
- “Sin juan participa en un comité electoral de la universidad entonces los estudiantes se enojarán con él, y si no participa en un comité electoral de la universidad entonces las autoridades universitarias se enojaran con él. Pero, Juan participará en un comité electoral de la universidad o no participará. Por lo tanto, los estudiantes o las autoridades universitarias se enojarán con él”
- “Si Anito decía la verdad, entonces Sócrates corrompía a la juventud y si el tribunal lo condenó equivocadamente, entonces Anito no es el culpable. Pero, Sócrates no corrompía a la juventud o Anito es el culpable. Por lo tanto Anito no decía la verdad o el tribunal no condenó a Sócrates equivocadamente”
LEYES DEL ÁLGEBRA PROPOSICIONAL
Las proposiciones equivalentes se convierten en leyes lógicas. Existen infinitas proposiciones equivalentes. Pero sólo consideraremos algunas a las que llamaremos leyes del álgebra proposicional.
...