Changes
Jump to navigation
Jump to search
← Older edit
Manuals/calci/FORALL
(view source)
Revision as of 20:03, 4 February 2020
72 bytes added
,
20:03, 4 February 2020
→Example
Line 16:
Line 16:
gives false
gives false
+
a=1..100;
+
+
[∀a("x<810"),∃a("x<810"),∄a("x<810")]
+
+
true true false
==See Also==
==See Also==
Joseph
Administrators
, writer
2,824
edits
Navigation menu
Personal tools
Log in
Namespaces
Page
Discussion
Variants
Views
Read
View source
View history
More
Search
Navigation
Main page
Community portal
Current events
Recent changes
Help
Tools
ZCubes Web Platform
Printable version