El documento presenta ejercicios sobre lógica proposicional, divididos en cinco partes que incluyen el reconocimiento de proposiciones, clasificación de proposiciones atómicas y moleculares, y formalización de proposiciones. Se solicita a los participantes que analicen y justifiquen si ciertas expresiones son proposiciones, así como clasificar y formalizar proposiciones moleculares. Además, se requiere determinar la naturaleza de varias fórmulas mediante tablas de verdad.
0 calificaciones0% encontró este documento útil (0 votos)
4 vistas2 páginas
El documento presenta ejercicios sobre lógica proposicional, divididos en cinco partes que incluyen el reconocimiento de proposiciones, clasificación de proposiciones atómicas y moleculares, y formalización de proposiciones. Se solicita a los participantes que analicen y justifiquen si ciertas expresiones son proposiciones, así como clasificar y formalizar proposiciones moleculares. Además, se requiere determinar la naturaleza de varias fórmulas mediante tablas de verdad.
El documento presenta ejercicios sobre lógica proposicional, divididos en cinco partes que incluyen el reconocimiento de proposiciones, clasificación de proposiciones atómicas y moleculares, y formalización de proposiciones. Se solicita a los participantes que analicen y justifiquen si ciertas expresiones son proposiciones, así como clasificar y formalizar proposiciones moleculares. Además, se requiere determinar la naturaleza de varias fórmulas mediante tablas de verdad.
El documento presenta ejercicios sobre lógica proposicional, divididos en cinco partes que incluyen el reconocimiento de proposiciones, clasificación de proposiciones atómicas y moleculares, y formalización de proposiciones. Se solicita a los participantes que analicen y justifiquen si ciertas expresiones son proposiciones, así como clasificar y formalizar proposiciones moleculares. Además, se requiere determinar la naturaleza de varias fórmulas mediante tablas de verdad.
Descargue como PDF, TXT o lea en línea desde Scribd
Descargar como pdf o txt
Está en la página 1/ 2
Destinatarios: Participantes de la Carrera Administración Mención Recursos Materiales y
Financieros / Administración Mención Mercadeo.
Facilitadora : Sindy Yupanqui
Ejercicios Lógica Proposicional
Parte 1: Reconocimiento de Proposiciones
Analice las siguientes expresiones linguísticas e indique si son o no proposiciones.
Justifique su respuesta.
a) Sea en buena hora.
b) ¡ Por fin llegó primavera! c) Juan es bondadoso. d) Los organismos superiores tienen pulmones porque necesitan respirar. e) x+y =y+x f) Los planetas del sistema solar, a excepción de Plutón, ocupan prácticamente el mismo plano con respecto al Sol.
Parte 2: Clase de Proposiciones
Diga si las siguientes proposiciones son atómicas o moleculares:
a) Omar y Oscar son concuñados.
b) El oxígeno no produce óxido en presencia de metaloides. c) Tanto la suma como la multiplicación de números naturales son asociativas. d) La suma de los ángulos internos de un triángulo es igual a 180˚. e) Los peces son acuáticos puesto respiran por las branquias.
Parte 3: Clasificación de las proposiciones moleculares
Diga si las siguientes proposiciones moleculares son conjuntivas, disyuntivas inclusivas,
disyuntivas exclusivas, condicionales, bicondicionales o negativas:
a) Si el ciclotrón bombardea el átomo, entonces acelera la velocidad de los protones.
b) Dos ángulos son suplementarios siempre que formen un par lineal. c) Si consigo una beca, entonces y sólo entonces viajaré al extranjero. d) David no es limeño ni loretano. e) Las estrellas nacen y viven, pero también mueren.
Parte 4: Formalización de Proposiciones
Formalice las siguientes proposiciones: en cada caso halle su forma lógica y escriba la fórmula correspondiente.
a) La universidad está si rector.
b) Ni juan ni Pedro ni Felipe ingresarón a la marina. c) Aunque este enfermo, no faltaré a la cita. d) Si Pedro sabe hablar inglés, entonces no habla francés, aunque si no supiese hablar inglés, tampoco hablaría francés. Parte 5: Fórmulas moleculares y tablas de verdad
Mediante la tabla de verdad determine si las siguientes fórmulas son tautológicas,
contingentes o contradictorias.
a) ¬ (¬ p ↔ q) v ¬ (¬ q →¬ p) b) [ ( ¬ p → ¬ q ) ∧ ( ¬ q → ¬ r) ] → (¬ p → ¬ r) c) ¬ { [ ( p → q) ∧ (q →r )] → (¬ r → ¬ p)} d) ¬ [ p → ( ¬ p ∧ p) ] e) ¬ [ ( p ↔ q) ↔ ¬ ( ¬ q ∧ q )]
