Metamath Proof Explorer


Table of Contents - 20.33.1.2. Sophisms

  1. rp-fakeimass
  2. rp-fakeanorass
  3. rp-fakeoranass
  4. rp-fakeinunass
  5. rp-fakeuninass