io7m
io7m-jparasol
0.11.3
1.2. EBNF
1. Notational Conventions
1.4. Sets
Previous
Up
Next
1.3
Logic
1
The specification uses the following notation from propositional logic
[0]
. A summary of the notation used is as follows:
1.3.1. Set notations
Notation
Description
∀x. P x
Universal quantification; for all
x
the proposition
P
holds for
x
∃x. P x
Existential quantification; there exists some
x
such that the proposition
P
holds for
x
P ⇒ Q
Implication;
P
implies
Q
P ⋀ Q
Conjunction;
P
and
Q
[
0
]
http://en.wikipedia.org/wiki/Propositional_logic
Previous
Up
Next
1.2. EBNF
1. Notational Conventions
1.4. Sets