Post Reply 
 
Thread Rating:
  • 0 Votes - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
ZF System
10-18-2010, 04:36 PM
Post: #1
ZF System
(1) 5 logic connectors: $\lnot$ (not), $\vee $ (or), $\wedge$ (and), $\to$ (imply), $\leftrightarrow$ (equivelent)
(2) 2 quantifiers: $\forall$, $\exists$
(3) 2 relations $=$, $\in$
(4) countable variables: $x,y,z,\cdots$ (subscripted or not)
(5) $(\;,\; )$
Find all posts by this user
Quote this message in a reply
Post Reply 


Forum Jump:


Contact Us | Software Frontier | Return to Top | Return to Content | Lite (Archive) Mode | RSS Syndication