Razonamiento numérico

Lógica Proposicional Bivalente Lógica Proposicional Bivalente Volver al temario Seguir a Operaciones con conjuntos Conjuntos. Noción intuitiva. Definición 2.1 : Conjunto. Noción intuitiva Un conjunto es una colección o agrupación de objetos cualesquiera llamados elementos o miembros del conjunto. Comentario: Para denotar un conjunto, generalmente se usa una letra latina mayúscula. Los elementos...

Lógica Proposicional Bivalente Volver al temario Seguir a Conjuntos. Noción intuitiva Ejercicios propuestos de reglas de inferencia. Demuestra que los siguientes razonamientos son válidos: Ejercicio 1: 1) \( \neg q \rightarrow \neg p \) 2) \( \neg r \) 3) \( q \rightarrow t \) 4) \( p \vee r \) _____________         \( t \) Ejercicio 2: 1) \( p \rightarrow s \) 2) \( s \rightarro...

Lógica Proposicional Bivalente Volver al temario Seguir a Ejercicios propuestos de reglas de inferencia Ejercicios der reglas de inferencia. Ejemplo 1: Demostrar que la siguiente conclusión es válida: Si vamos a Margarita, entonces gastaremos mucho dinero. Si vamos al páramo sufriremos, por el frío. Pero vamos a Margarita o vamos al páramo. Por consiguiente gastaremos dinero o sufriremos por el frío. Solución: Para esto, asig...

Lógica Proposicional Bivalente Volver al temario Seguir a Reglas de inferencia Otras leyes importantes. Ley del condicional \( p \rightarrow q \equiv \neg p \vee q \) Ley del bicondicional \( p \leftrightarrow q \equiv (p \rightarr...

Lógica Proposicional Bivalente Leyes de lógica proposicional Ley del condicional \( p \rightarrow q \equiv \neg p \vee q \) Ley del bicondicional \( p \leftrightarrow q \equiv (p \rightarrow q) \wedge (q \rightarrow p) \) Ley de disyunción exclusiva \( p \underline{\vee} q\equiv (p \wedge \neg q) \vee (q \wedge \neg p) \) Ley del contrarrecíproco \( p \rightarrow q \equiv \neg q \rightarrow \neg p \) Ley de reducción al a...

Lógica Proposicional Bivalente Ejemplo 1: Demostrar que la siguiente conclusión es válida: Si vamos a Margarita, entonces gastaremos mucho dinero. Si vamos al páramo sufriremos, por el frío. Pero vamos a Margarita o vamos al páramo. Por consiguiente gastaremos dinero o sufriremos por el frío. Solución: Para esto, asignamos letras a las proposiciones dadas en el enunciado: \( m : \) "Vamos a Margarita". \( g : \) "Gastaremos mucho dinero". \( p : \) "Vamos al páramo". \( f : \) "Sufriremos mucho frío". Entonces el enunciado del problema se refleja taquigráficamente así: 1) \( m \rightarrow g \) 2) \( p \rightarrow f \) 3) \(m ∨ p\) ____________     \(g ∨ f\) Para resolver este problema, escribimos las premisas encima de una línea y debajo de está comenzamos a colocar las conclusiones parciales, así: 1) \( m \rightarrow g \) 2) \( p \rightarrow f \) 3) \(m ∨ p\) ____________ 4) \( ...

Lógica Proposicional Bivalente Volver al temario Seguir a Leyes de la lógica proposicional Implicación y equivalencia lógica. Definición 1.12 : Implicación lógica La implicación lógica es el condicional que finalmente resulta en una tautología. Es decir, si \( p \rightarrow q \) es una tautología, entonces es una implcación lógica, lo que se escribe como \( p \implies q \). Ejemplo : Como "Si llueve, entonces la calle se moja...