Cross Reference: Basic.mod
xref: /hets/Modal/Basic.mod
  • Home
  • History
  • Annotate
  • Line#
  • Navigate
  • Download
  • only in ./
Basic.mod revision 81f63d098d411c2a56dba44cd4129363e3cc209d
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herdingprop p;
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding i
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herdingprops p,q,r;
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding h;
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herdingaxioms
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding. p
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding. p /\ r
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding. p \/ r
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding. not p
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding. p => p
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding. p <=> q
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding. [] p
81f63d098d411c2a56dba44cd4129363e3cc209dWiebke Herding. <> p

Indexes created Tue Jul 24 14:28:13 CEST 2018