60 likes | 298 Vues
Matematika Diskrit (resume). Razief Perucha F.A Jurusan Informatika Fakultas Matematika dan Ilmu Pengetahuan Alam Universitas Syiah Kuala 2012. Mohon di informasikan jika terdapat kesalahan penulisan ke razief@informatika.unsyiah.ac.id. hukum logika :. 2.
E N D
MatematikaDiskrit(resume) Razief Perucha F.A JurusanInformatika FakultasMatematikadanIlmuPengetahuanAlam UniversitasSyiah Kuala 2012 Mohondiinformasikanjikaterdapatkesalahanpenulisankerazief@informatika.unsyiah.ac.id
Rule of Detachment (Modus Ponens) Law of the Syllogism (hukumsilogisme) p q q r p r p p q q Law of conjunction (hukum konjungsi) Rule of inference ( Modus Tollens ) p q • p q p q ¬q • ¬p
Law of disjunctive syllogism (hukumdisjungsisilogisme) Rule of Contradiction (hukumkontradiksi) p v q • ¬ p q ¬p F0 • P
Pembuktiansecarakondisional Simplifikasikonjungtif p q • p (qr) r p q p Pembuktiandengancontoh/kasus AmplifikasiDisjungtif p r • qr • ( p q ) r p • p q