1. Modus Ponens
2. Modus Tollens
3. Silogisme
1. Modus Ponens
Kerangka penarikan modus ponens
berikut:
Premis 1 = p q
Premis 2 = p
Konklusi =q
2. Modus Tollens
Kerangka penarikan modus tollens
berikut:
Premis 1 = p q
Premis 2 = q
Konklusi = p
3.Silogisme
Kerangka penarikan silogisme
berikut:
Premis 1 = p q
Premis 2 = q r
Konklusi =pr
Invers, Konvers, Kontraposisi
dalam Logika
Dari implikasi p q dapat di bentuk
implikasi baru :