Logika Informatika : Natural Deduction Pada Budi Proposisi Beserta Contohnya

Logika Informatika : Natural Deduction pada Logika Proposisi beserta Contohnya

PENGERTIAN

Natural deduction ialah sekumpulan hukum pembuktian. Sequent ialah bentuk f1,f2,…,fn├ y, di mana f1,f2,…,fn disebut premis dan y disebut konklusi

Sequent disebut valid jikalau sanggup dibuktikan. Setiap hukum berbentuk "f/y nama" di mana f ialah sekumpulan premis dan y ialah konklusi serta nama ialah nama hukum tersebut.

Aturan-Aturan dalam Natrual Deduction

ATURAN KONJUNGSI

And-introduction 

Jika f benar dan y benar, maka f  Λ y benar

And-elimination

Jika f  Λ y benar, maka sanggup disimpulkan bahwa f benar, y benar

CONTOH 1

ATURAN NEGASI GANDA

Double-negation-elimination

Double-negation-introduction

CONTOH 2

ATURAN IMPLIKASI

Modus ponens ( implies-elimination ) 

Modus Tollens

Implies-introduction

CONTOH 3

CONTOH 4

ATURAN DISJUNGSI

Or-introduction

Or-elimination

CONTOH 5

CONTOH 6

ATURAN NEGASI

Kontradiksi

Tautologi

Bottom-elimination

Negation-elimination

Negation-introduction

CONTOH 7

ATURAN TURUNAN

Modus Tollens

Double-Negation-introduction

Reductio ad Absurdum (RAA) 

Law of Excluded Middle (LEM)/tertium non datur

Pembuktian Aturan Turunan

MODUS TOLLENS

DOUBLE NEGATION INTRODUCTION

RAA

LEM

CONTOH 8

LATIHAN 1

LATIHAN 2

Sumber

http://logicmanual.philosophy.ox.ac.uk/carr/NDpack.pdf

Slide Logif : Natural Deduction

http://informatika.unpar.ac.id/

Sumber http://wikiwoh.blogspot.com