Logika Matematika

Pernyataan dan Ingkaran Pernyataan

1. Pernyataan adalah kalimat yang memiliki nilai kebenaran, artinya pernyataan dapat bernaliai benar atau bernlai salah dan tidak mungkin bernilai kedua-duanya.
2. Ingkaran dari suatu pernyataan adalah bantahan dari pernyataan.  Jika p adalah suatu pernyataan maka ingkarannya dituliskan dalam ~p 

Operasi pada Pernyataan

Konjungsi, Disjungsi, Implikasi, Biimplikasi dan ingkarannya

Catatan:

Konjungsi      : selalu bernilai benar jika p dan q bernilai benar, selain itu konjungsi bernilai salah

Disjungsi        : selalu bernilai salah jika p dan q salah, selain itu disjungsi bernilai benar.

Implikasi        : bernilai salah jika p benar dan q salah, selain itu implikasi bernilai benar

Biimplikasi     :bernilai benar jika p dan q bernilai benar atau p dan q bernilai salah, selain itu biimplikasi bernilai salah.

Argumentasi (Penarikan Kesimpulan)

Ada tiga macam argumentasi yaitu modus ponens, modus tollens dan silogisme

1. Modus Ponens

    

2. Modus Tollens

   

3. Silogisme