Si lo hace. Déjame probarlo.
Las proposiciones son QL reflejan el comportamiento de subespacios cerrados de un espacio separable de Hilbert. La disyunción ‘pv q’ en QL no es la unión teórica establecida de pyq (como en la lógica clásica) sino el tramo lineal (el cierre bajo combinaciones lineales) de la unión teórica establecida de Hilbert subespacios p y q: cl (unión p q), que también es el subespacio cerrado más pequeño que incluye py q. Y la implicación ‘p => q’ significa que p es un subconjunto de q y se comporta de manera clásica.
A pesar de que la disyunción no es clásica en QL, el Dilema se mantiene ahí. Considere la regla en su forma general:
- ¿Existe actualmente un enfoque más prometedor para resolver la cuestión de la existencia de las matrices Hadamard?
- ¿Cuáles son las diferencias entre el orbital molecular y el orbital hibridado?
- ¿Puede la mecánica cuántica describir la dinámica de una reacción química?
- ¿Se comportarían los planetas de nuestro sistema solar como cuantos si los observáramos desde un punto de referencia situado muy lejos del Sol?
- En el principio de incertidumbre de Heisenberg, ¿cuándo "mayor o igual" se convierte simplemente en "igual"?
1. pv q.
2. p => r.
3. q => s.
4. Por lo tanto, rv s.
El argumento se puede traducir como:
1. el sistema está en cl (p unión q).
2. p es un subconjunto de r.
3. q es un subconjunto de s.
4. Por lo tanto, el sistema está en cl (r union s).
La conclusión se debe a que siempre que p es un subconjunto de r y q es un subconjunto de s, cl (p union q) es un subconjunto de cl (r union s). Considere ahora esta forma de dilema:
1. pv q.
2. p => t.
3. q => t.
4. Por lo tanto, t.
Puede volver a escribir el argumento anterior de la siguiente manera:
1. el sistema está en cl (p union q)
2. p es un subconjunto de t.
3. q es un subconjunto de t.
4. Por lo tanto, el sistema está en t.
La conclusión se debe a que cl (p union q) es el subespacio cerrado más pequeño que incluye p y q, y t es un subespacio cerrado que incluye p y q; por lo tanto, cl (p union q) es un subconjunto de t.
Déjame recomendarte un artículo:
Aerts, D., D’Hondt, E., Gabora, L. 2000. Por qué la disyunción en la lógica cuántica no es clásica. Fundamentos de Física 30 (9): 1473-1480.
