29 matches
-
este adevărata dacă și numai dacă A ≤ B, V ≤ A → B ⇔ A ≤ B. Existența implicației materiale este deseori considerată că o proprietate inevitabilă a unei latici care permite o interpretare logică din moment ce orice inferența logică utilizează legea "modus ponens".În laticea ortomodulară LQ* un element A → B care îndeplinește (1) și (2) nu există. Putem evita această problemă definind pe LQ operația → prin următoarele două legi : A ∧ ( A → B ) ≤ B (1*) și A ∧ X ≤ B ⇒¬ A ∨( A ∧ X )≤ A → B (2
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
și (2*) rezultă V ≤ A → B ⇔ A ≤ B, A → B este adevărata dacă și numai dacă A ≤ B. Trebuie subliniat că condițiile (1*), (2*) și (3*) sunt relaxări ale condițiilor (1), (2) și respectiv (3) ce sunt satisfăcute într-o latice booleană LC.De fapt într-o latice ortocomplementată LO condițiile (1) și (2) le implică pe (1*) și (2*).În plus, pe LO implicația materială ¬ A ∨ B și implicația cvasi-materială ¬ A ∨( A ∧ B ) sunt legate de relația ¬ A ∨( A ∧ B
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
B, A → B este adevărata dacă și numai dacă A ≤ B. Trebuie subliniat că condițiile (1*), (2*) și (3*) sunt relaxări ale condițiilor (1), (2) și respectiv (3) ce sunt satisfăcute într-o latice booleană LC.De fapt într-o latice ortocomplementată LO condițiile (1) și (2) le implică pe (1*) și (2*).În plus, pe LO implicația materială ¬ A ∨ B și implicația cvasi-materială ¬ A ∨( A ∧ B ) sunt legate de relația ¬ A ∨( A ∧ B )≤¬ A ∨ B iar pe o latice booleană
Logică cuantică () [Corola-website/Science/335135_a_336464]
-
o latice ortocomplementată LO condițiile (1) și (2) le implică pe (1*) și (2*).În plus, pe LO implicația materială ¬ A ∨ B și implicația cvasi-materială ¬ A ∨( A ∧ B ) sunt legate de relația ¬ A ∨( A ∧ B )≤¬ A ∨ B iar pe o latice booleană LC distributivitatea implică ¬ A ∨( A ∧ B )≤ A ∨ B. Mai importante pentru caracterizarea logicii cuantice sunt acele propoziții care sunt formal adevărate în logica clasică dar nu și în cea cuantică.Cea mai scurtă dintre ele și poate cea mai
Logică cuantică () [Corola-website/Science/335135_a_336464]