Lógica Simbólica: Parea correctamente las formas proposicionales

𝑠 ↔ (𝑟 ˄ 𝑞)

• Las aves pueden volar si y solo si la gallina es un animal mamífero y los mamíferos vuelan.

• Si los perros no son animales mamíferos o los mamíferos no vuelan, entonces la gallina no es un animal mamífero.

• Si los perros son animales mamíferos y los mamíferos vuelan entonces la gallina es un mamífero.

• Si la gallina es un animal mamífero entonces los mamíferos vuelan.

(~𝑝 ˅ ~𝑞) → ~𝑟

• Si la gallina es un animal mamífero entonces los mamíferos vuelan.

• Si los perros no son animales mamíferos o los mamíferos no vuelan, entonces la gallina no es un animal mamífero.

• Si los perros son animales mamíferos y los mamíferos vuelan entonces la gallina es un mamífero.

• Los mamíferos vuelan sí y solo sí la gallina es un animal mamífero.

Si los perros son animales mamíferos y los mamíferos vuelan entonces la gallina es un mamífero.

• ~𝑟

• 𝑞 ↔ 𝑟

• 𝑟 → 𝑞

• ( 𝑝˄ 𝑞) → 𝑟

Si la gallina es un animal mamífero entonces los mamíferos vuelan.

• (~p ˅ ~q)→~s

• p↔(r ˄ q)

• 𝑟 → 𝑞

• ~𝑝 → 𝑟

~𝑟

• No es cierto que la gallina es un animal mamífero.

• Si no es cierto que los perros son animales mamíferos, entonces la gallina es un animal mamífero.

• La sabiduría proviene de Dios si y solo si Dios es sanador y bendice.

• Si Dios no es amor o Dios no bendice, entonces la sabiduría no proviene de Dios.

𝑞 ↔ 𝑟

• Si los perros son animales mamíferos y los mamíferos vuelan entonces la gallina es un mamífero.

• Las aves pueden volar si y solo si la gallina es un animal mamífero y los mamíferos vuelan.

• Los mamíferos vuelan sí y solo sí la gallina es un animal mamífero.

• Si no es cierto que los perros son animales mamíferos, entonces la gallina es un animal mamífero.

Si no es cierto que los perros son animales mamíferos, entonces la gallina es un animal mamífero.

• ~𝑝 → 𝑟

• (~ 𝑝 ˅ 𝑟) → (𝑞 ∧ 𝑟)

• ( 𝑝˄ 𝑞) → 𝑟

• 𝑝 → 𝑟

Si no es cierto que los perros son animales mamíferos o la gallina es un mamífero, entonces los mamíferos vuelan y la gallina es un mamífero.

• (~p ˅ ~q)→~s

• ~p ˅ ~q

• (~ 𝑝 ˅ 𝑟) → (𝑞 ∧ 𝑟)

• ( 𝑝˄ 𝑞) → 𝑟

p↔(r ˄ q)

• Si Dios no es amor o Dios no bendice, entonces la sabiduría no proviene de Dios.

• (~p ˅ ~q)→~s

• (~ 𝑝 ˅ 𝑟) → (𝑞 ∧ 𝑟)

• La sabiduría proviene de Dios si y solo si Dios es sanador y Dios bendice.

Si Dios no es amor o Dios no bendice, entonces la sabiduría no proviene de Dios.

• ( 𝑝˄ 𝑞) → 𝑟

• (~p ˅ ~q)→~s

• p↔(r ˄ q)

• (~ 𝑝 ˅ 𝑟) → (𝑞 ∧ 𝑟)