... />
If so, does that amount to A--> (anything not B ) a ... gt;B)
2. does this render (anything not A) --> B ... />
Related to this question is does this amount to bi-conditional ... other necessaries) is true, this does not necessarily mean A = B, since ...