Subject classification: this is an information technology resource. |
Educational level: this is a tertiary (university) resource. |
Subject classification: this is a physics resource. |
Subject classification: this is a chemistry resource. |
Subject classification: this is a mathematics resource. |
Welcome to Wikiversity, Quantum physics!
You can contact us with questions at the colloquium or get in touch with me personally if you would like some help. Remember to sign your comments when participating in discussions. Using the signature icon makes it simple. We invite you to be bold and assume good faith. Please abide by our civility, privacy, and terms of use policies. To find your way around, check out:
To get started, experiment in the sandbox or on your userpage. See you around Wikiversity! --~~~~ |
Polish- or Łukasiewicz's notation for logic
Concept | Conventional notation |
Polish notation |
Polish / English word |
---|---|---|---|
w:Negation | Nφ | negation (No)} | |
Conjunction | Kφψ | conjunction | |
w:Disjunction | Aφψ | alternate OR=disjunction | |
w:Material conditional | Cφψ | implication | |
w:Biconditional | Eφψ | equivalence' | |
w:Falsum | O | False value | |
w:Sheffer stroke | Dφψ | Sheffer stroke | |
Possibility | Mφ | contingent | |
Necessity | Lφ | Necessary condition | |
w:Universal quantifier | Πpφ | kwantyfikator ogólny | ANY:
For all p, \phi|Universal quantifier |
Existential quantifier | Σpφ | Exists |