Pembuktian 6

6. Distruksi Delema (DD)
    (p⇒q)∧(r⇒s)

  ∼q∨∼s
  there4;∼p∨∼r
  Pembuktian

 

   terbukti karena hasil akhirnya true semua / "T" semua pada kolom yang paling gelap


Pembuktian 5

5. Konstruktif Delema (KD)
    (p⇒q)∧(r⇒s)
  p∨r
  there4;q∨s
  Pembuktian

terbukti karena hasil akhirnya true semua / "T" semua pada kolom yang paling gelap.



Pembuktian 4

4. Distruktif Silogisma (DS)
   p∨q
   ∼p
   ∴q
   Pembuktian

terbukti karena hasil akhirnya true semua / "T" semua pada kolom yang paling gelap.

Pembuktian 3

3. Silogisma (sil)
    p<code>⇒q
  q<code>⇒r
  ∴p<code>⇒r 

  Pembuktian terbukti karena hasil akhirnya true semua atau "T" semua pada kolom yang paling gelap

Pembuktian 2

2. Modus Tolens (MT)
    p⇒q
  ∼q
    ∴∼p

    Pembuktian terbukti karena hasil akhirnya true semua atau "T" semua pada kolom yang warnanya paling gelap.