Projects

Context Navigation

Changes between Version 22 and Version 23 of MoMoC

Timestamp:: Jan 28, 2020, 3:44:29 AM (5 years ago)
Author:: 5willrod
Comment:: --

Legend:

: Unmodified
: Added
: Removed
: Modified

MoMoC

v22	v23
52	52	\|\| \|\| Not \|\| NOT, Not, ~, ¬ \|\| (Not p) \|\|
53	53	\|\| \|\| And \|\| AND, And, ∧ \|\| (p And q) \|\|
54		\|\| \|\| Or \|\| O~~r, OR~~, ∨ \|\| (p Or q) \|\|
	54	\|\| \|\| Or \|\| OR, Or, ∨ \|\| (p Or q) \|\|
55	55	\|\|= Temporal =\|\| A \|\| A, ALLPATH \|\| Af \|\|
56	56	\|\| \|\| E \|\| E, EXPATH \|\| Ef \|\|