1..penarikan kesimpulan yang sah dari premis-premis yang dinyatakan dalam bentuk lambang yang berikut (1) : p v q (2) : ~p 2. diketahui argumentasi p dan q ~p →

1..penarikan kesimpulan yang sah dari premis-premis yang dinyatakan dalam bentuk lambang yang berikut
(1) : p v q
(2) : ~p

2. diketahui argumentasi p dan q
~p →q
~r→~q
_____
~r→p

disebut