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.
    

Tugas 3 PDM

Membuktikan Kesahan sebuah Argumen

1.  Modus Ponens (MP)

     p⇒q
     p
     ∴ q

Pembuktian




 


(terbukti kesahannya, karena hasil terakhit semua "true" / "T" pada kolom yang warnanya lebih gelap)