Changes

← Older edit

Manuals/calci/FORALL (view source)

Revision as of 20:03, 4 February 2020

72 bytes added , 20:03, 4 February 2020

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==

Administrators, writer

2,824

edits

Retrieved from "http://wiki.zcubes.com/Special:MobileDiff/212715"