Me gustaría saber si hay una regla para probar esto. Por ejemplo, si uso la ley distributiva solo obtendré .
logic
propositional-logic
usuario78333
fuente
fuente
Respuestas:
Creo que las imágenes son excelentes para cualquier cosa lo suficientemente simple como para usarlas, que es esto.
Recuerda:
Y significa el área ocupada por ambas cosas. Entonces, el del medio es lo que se toma fuera de B, pero también dentro de A. Su unión no se cuenta porque está dentro de A pero no fuera de B.
O significa que está cubierto por uno o ambos. Ambos cubren la parte de A que está fuera de B, y la unión está cubierta por A (primera imagen), por lo que también se cuenta. Con todo, solo tienes A otra vez.
Lo siento si esto es demasiado simplista, no estoy seguro de en qué nivel estás.
fuente
Hay muchas formas de ver esto. Una es una tabla de verdad. Otra es usar la regla distributiva:
fuente
Usaría mi regla de inferencia menos favorita: Eliminación de disyunción . Básicamente, dice que si sigue de , y sigue de , entonces debe ser verdadero si :P R Q R P ∨ Q ( P → R ) , ( Q → R ) , ( P ∨ Q ) ⊢ RR PAGS R Q R PAGS∨ Q
Así que supongamos que . Establezca , , y aplique la regla:P = A Q = A ∧ ¬ B R = AA ∨ ( A ∧ ¬ B ) P=A Q=A∧¬B R=A
Lo inverso es trivial: suponga , luego por una de las variantes de introducción de conjunción ( para cualquier ) .S ⊢ S ∨ T T A → A ∨ ( ⋯ )A S⊢S∨T T A→A∨(⋯)
Aquí hay un diagrama de esta prueba:
fuente
fuente
Un aspecto más intuitivo:
A
siempre es cierto cuandoA
es cierto.A & -B
solo es cierto cuandoA
es cierto.Intuitivamente, aplicar OR a estos dos produciría un resultado
C
que siempre es verdadero cuandoA
es verdadero. Como tal,C
siempre es cierto cuandoA
es cierto.(Deja de leer aquí si esta explicación te funciona).
Así es como pienso sobre este problema. Sin embargo, esta explicación no está completa ya que todo lo que hemos mostrado es eso
A -> C
y noA <-> C
.Entonces, también demostremos eso
C -> A
.A
siempre es falso cuandoA
es falso.A & -B
siempre es falso cuandoA
es falso.Intuitivamente, aplicar OR a estos dos produciría un resultado
C
que siempre es falso cuandoA
es falso. Como tal,C
siempre es falso cuandoA
es falso;-A -> -C
, que es lo mismo queC -> A
.Así
A -> C
yC -> A
asíA <-> C
.fuente
A veces, las letras confunden a las personas. A la gente le gusta la comida, porque es fácil pensar en ella.
Imagine que le pido que tire una moneda para elegir entre una O la otra de las siguientes dos opciones:
[El primero es igual a "A", el segundo "A y no B". Pero no pienses en las letras. Piensa en la manzana y en si también obtienes una banana.]
El primero realmente significa "una manzana fersure, y tal vez obtendrás un plátano".
Entonces, dejar algo afuera es lo mismo que decir "tal vez".
Mirándolos como un par, lo que sea que obtengas, definitivamente habrá una Apple involucrada. Hurra. Y si su monedero elige el correcto, es posible que obtenga un plátano.
¿Pero no es lo mismo que decir "tal vez obtendrás un plátano"? ¿Solo, con la mitad de probabilidad?
Entonces, todo lo que definitivamente puedes decir lógicamente es que obtendrás una Apple. No puedes decir nada sobre si obtendrás un plátano.
fuente
Similar a la respuesta de Yuval Filmus. Usando álgebra booleana, en ingeniería de notación, y factorizando (o factorizando) en A.
fuente
Parece que nadie lo mencionó todavía, así que seguiré adelante.
La ley para tratar este tipo de problemas es la ley de absorción que establece que pv (p ^ q) = p y también que p ^ (pvq) = p. Si intenta utilizar la ley distributiva sobre esto, lo mantendrá en círculos para siempre:
(A v A) ^ (A v ~ B) = A ^ (A v ~ B) = (A ^ A) v (A ^ ~ B) = A v (A ^ ~ B) = (A v A) ^ (A v ~ B)
Usé el símbolo incorrecto para no e igual, pero el punto aquí es que cuando vas en círculos / cuando hay una y / o falta de coincidencia, por lo general, debes observar la ley de abstención.
B es irrelevante para el resultado, como notará si coloca esto en una tabla de verdad.
fuente
Otra forma intuitiva de ver esto:
Si A es un conjunto, entonces podemos decir que cualquier objeto dado es (en A) o (no en A).
Ahora mire S = A o (A y no B) :
Si un objeto está en A, entonces "A o cualquier cosa" contiene todos los elementos en A, por lo que el objeto también estará en S.
Si un objeto no está en A, entonces "A y cualquier cosa" excluye todos los elementos que no están en A, por lo que el objeto no está en A ni en (A y no B), por lo que no está en S.
Entonces, el resultado es que cualquier objeto en A está en S, y cualquier objeto que no esté en A no está en S. Entonces, intuitivamente, los objetos en S deben ser exactamente los de A, y no otros objetos.
Cuando dos conjuntos tienen elementos idénticos, se definen como el mismo conjunto. Por lo tanto
A = S
.fuente
Un método simple que siempre puede usar si está atascado es el análisis de casos.
fuente
fuente