¡Descarga Ejercicios de Lógica Booleana y más Ejercicios en PDF de Matemáticas solo en Docsity!
Desarrollo de ejercicios.
Ejercicio D nº 1. p: los foto comparendos vehiculares deben ser cancelados por la persona que conduce. q: la procuraduría reporta que las alcaldías están cumpliendo el fallo. r: las empresas de servicios públicos pagan el valor de las multas. Lenguaje natural: Si los foto comparendo vehiculares deben ser canceladas por la persona que conduce o la procuraduría reporta que las alcaldías están cumpliendo el fallo. Siempre y cuando las empresas de servicios públicos pagan el valor de la multa. Tabla de verdad manual: p q r (^) p∨q r (^) [(p ∨ q) ↔ r] V V V V V V V V F V F F V F V V V V V F F V F F F V V V V V F V F V F F F F V F V F F F F F F V Se clasifica como: Contingencia. Tabla de verdad simulador UNAD. Ejercicio D nº 2. Expresión simbólica.
¬d e ¬d ∧ e Ley de inferencia de la expresión: Adjunción (A) Proposiciones simples: d: el día está muy caluroso. e: el cielo está nublado. Lenguaje natural: El día no está muy caluroso y el cielo está nublado.
r → q ¬q ¬r Ley de inferencia de la expresión: Modus tollendo tollens (TT) Proposiciones simples: r: el día está muy caluroso. q: el cielo está nublado. Lenguaje natural : El cielo no está nublado, por lo tanto, el día no está muy caluroso.
a → b b → c a → c Ley de inferencia de la expresión: Silogismo hipotético (SH). Proposiciones simples. a: el día está muy caluroso. b: el cielo está nublado. c: puede que llueva. Lenguaje natural: Si el día esta muy caluroso, entonces el cielo está nublado. Si el cielo está nublado, entonces puede que llueva. Ejercicio D nº 3.
Tabla de verdad simulador UNAD. Demostración de la validez mediante las leyes de inferencia. P1: [p⟶ (q ∧ r)] P2: p P3: r P4: r……. Simplificación (S) entre P1 y P
