INFERENSI - MATEMATIKA DISKRIT
Misalkan diberikan beberapa proposisi. Kita dapat menarik kesimpulan baru dari deret proposisi disebut infernsi (inference). T erdapat sejumlah kaedah inferensi, beberapa di antaranya adalah sebagai berukut: 1. Modus ponen atau law of datechment Kaedah ini didasarkan pada tautologi ( p Ù ( p → q )) →q , yang dalam hal ini, p dan p → q adalah hipotesis, sedangkan q adalah konklusi. Kaedah modus ponen dapat ditulis dengan cara” p → q è hipotesis 1 ...