next up previous contents index
Next: Quantifiers Up: Connectives Previous: Use

Non-derivable

tex2html_wrap_inline4473 means that P is not derivable in the current network. Warning: non-derivable has not yet been implemented in SNePS 2.


John Francis Santore
Fri May 14 11:18:57 EDT 1999