Este documento presenta 13 proposiciones complejas para simbolizar en lógica proposicional. Cada proposición contiene varias oraciones conectadas por conjunciones, disyunciones u otras conectivas lógicas. El objetivo es traducir el significado de cada proposición a símbolos proposicionales como p, q, r, etc.
0 calificaciones0% encontró este documento útil (0 votos)
151 vistas9 páginas
Este documento presenta 13 proposiciones complejas para simbolizar en lógica proposicional. Cada proposición contiene varias oraciones conectadas por conjunciones, disyunciones u otras conectivas lógicas. El objetivo es traducir el significado de cada proposición a símbolos proposicionales como p, q, r, etc.
Este documento presenta 13 proposiciones complejas para simbolizar en lógica proposicional. Cada proposición contiene varias oraciones conectadas por conjunciones, disyunciones u otras conectivas lógicas. El objetivo es traducir el significado de cada proposición a símbolos proposicionales como p, q, r, etc.
Este documento presenta 13 proposiciones complejas para simbolizar en lógica proposicional. Cada proposición contiene varias oraciones conectadas por conjunciones, disyunciones u otras conectivas lógicas. El objetivo es traducir el significado de cada proposición a símbolos proposicionales como p, q, r, etc.
Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
Descargar como docx, pdf o txt
Está en la página 1/ 9
Universidad Católica Sedes Sapientiae
LÓGICA PROPOSICIONAL Simbolizar las siguientes proposiciones moleculares. 1. Enrique es juez, pero honesto.
p: es juez. q: es honesto.
Simbolización:
2. El medicamento es caro, sin embargo, es una prioridad para
la salud.
p: es caro. q: es una prioridad para la salud.
Simbolización:
3. Carolina es menor que Roberto, pero menor que Kathy.
p: Carolina es menor que Roberto.
q: Roberto menor que Kathy.
MATEMÁTICA BÁSICA 1 LÓGICA PROPOSICIONAL
Universidad Católica Sedes Sapientiae
Simbolización: 4. El profesor no controló la asistencia, puesto que la oficina de la dirección de la facultad estaba cerrada y no estaba el portero.
p: El profesor controló la asistencia.
q: La oficina de la dirección del colegio estaba cerrada. r: El portero estaba.
Simbolización:
5. El número 2 es primo, si 2 es divisible por 1 y por sí mismo.
p: El número 2 es primo. q: 2 es divisible por 1. r: 2 es divisible por sí mismo.
MATEMÁTICA BÁSICA 1 LÓGICA PROPOSICIONAL
Universidad Católica Sedes Sapientiae
Simbolización:
6. Es falso que Cubillas jugó en Asia y no estudio en Europa.
p: Cubillas jugó en Asia.
q: Cubillas estudió en Europa.
Simbolización:
7. Sí un porvenir brillante me espera, entonces recibiré una gran
herencia o estudiaré mucho. Pero no recibiré una gran herencia. En consecuencia, si no estudiaré mucho, entonces no me espera un porvenir brillante o me es indiferente p: un porvenir triunfar brillante en la vida. v me espera. q: recibiré una gran herencia. r: estudiaré mucho. t: me és indiferente triunfar en la vida.
MATEMÁTICA BÁSICA 1 LÓGICA PROPOSICIONAL
Universidad Católica Sedes Sapientiae
Simbolización:
8. Como es hora de trabajar, se concluye que en la fábrica hay
ingenieros y empleados, dado que, si es hora de trabajar, en la fábrica hay ingenieros, y hay empleados si en la fábrica hay p: es hora de trabajar. ingenieros. q: en la fábrica hay ingenieros. r: en la fábrica hay empleados.
MATEMÁTICA BÁSICA 1 LÓGICA PROPOSICIONAL
Universidad Católica Sedes Sapientiae
Simbolización:
9. Si Cubillas es peruano entonces es aficionado al fútbol, pero
Cubillas no es aficionado al fútbol. Por lo tanto, no es peruano.
p: Cubillas es peruano. q: Cubillas es aficionado al fútbol.
Simbolización: 10. Si Antonio participa en el comité electoral de la universidad entonces los estudiantes se enojarán de él, y si no participa en el comité electoral de la universidad entonces las autoridades universitarias se enojarán con él. Pero Antonio participará en el comité electoral de la universidad o no participará. Por lo tanto, los estudiantes o las autoridades universitarias se enojarán con él. p: Antonio participará en un comité electoral de la universidad. q: Los estudiantes se enojarán con él. r: Las autoridades universitarias se enojarán con Antonio. MATEMÁTICA BÁSICA 1 LÓGICA PROPOSICIONAL Universidad Católica Sedes Sapientiae
Simbolización:
11. Ese lapso corto quizá, si se le mide por el calendario, es
interminablemente largo, cuando como yo se ha galopado a través de él. Sin embargo, ese lapso de tiempo es corto, si toda proposición es falsa. Por tanto, se obtiene una contradicción.
p: se le mide por el calendario.
q: ese lapso de tiempo es corto. r: se ha galopado, como yo, a través de él. MATEMÁTICA BÁSICA 1 LÓGICA PROPOSICIONAL s: toda proposición es falsa. t: se obtiene una contradicción. Universidad Católica Sedes Sapientiae
Simbolización:
12. Si un satélite gira alrededor de la luna, entonces gira también
alrededor de la tierra; y si gira alrededor de la tierra, también gira alrededor del sol. Y si gira alrededor del sol, entonces
MATEMÁTICA BÁSICA 1 LÓGICA PROPOSICIONAL
Universidad Católica Sedes Sapientiae
gira alrededor de la luna, entonces gira alrededor de la
constelación de la luna.
p: Un satélite gira alrededor de la luna.
q: Un satélite gira alrededor de la tierra. r: Un satélite gira alrededor del sol. s: Un satélite gira alrededor de la constelación de la luna.
Simbolización:
MATEMÁTICA BÁSICA 1 LÓGICA PROPOSICIONAL
Universidad Católica Sedes Sapientiae
13. Si Platón decía la verdad, entonces Sócrates corrompía a la
juventud y si el tribunal lo condeno equivocadamente, entonces Platón no es el culpable. Pero, Sócrates no corrompía a la juventud o Platón es el culpable. Por lo tanto, Platón no decía la verdad o el tribunal no condenó a Sócrates equivocadamente.
p: Platón decía la verdad.
q: Sócrates no corrompía a la juventud. r: el tribunal condeno equivocadamente a Sócrates. s: Platón es el culpable.
