Buscar

Loading [MathJax]/jax/output/HTML-CSS/jax.js

8.1: Lógica proposicional
https://espanol.libretexts.org/Matematicas/Combinatoria_y_Matematicas_Discretas/Un_paseo_fresco_a_paso_a_trav%C3%A9s_de_las_matem%C3%A1ticas_discretas_(Davies)/08%3A_L%C3%B3gica/8.1%3A_L%C3%B3gica_proposicional
(C $\oplus$ (A $\wedge \neg$ B)) $\Rightarrow$ $\neg$ A es la proposición de que si cualquiera de los perros son carnívoros o UMW reside en Virginia y la Reina de Inglaterra no es macho, entonces ...(C $\oplus$ (A $\wedge \neg$ B)) $\Rightarrow$ $\neg$ A es la proposición de que si cualquiera de los perros son carnívoros o UMW reside en Virginia y la Reina de Inglaterra no es macho, entonces UMW no debe residir en Virginia. (Esto es cierto, ya que los perros son carnívoros y UMW reside en Virginia y la Reina de Inglaterra no es macho, por lo que el lado izquierdo del $\Rightarrow$ es falso, lo que significa que toda la expresión es verdadera independientemente del valor de verdad del …

Search