yg termasuk pernyataan kontradiksi adalah :

p ... q ... p => q ... (p=>q)^p ... [(p=>q)^p] => q ... ~{[(p=>q)^p] => q}
B ... B ...... B ............. B ................... B ................................. S
B ... S ...... S ............. S .................... B ................................. S
S ... B ...... B ............. S .................... B ................................. S
S ... S ...... B .............. S ................... B .................................. S
Jadi
[(p=>q)^p] => q benar semua maka merupakan tautologi
~{[(p=>q)^p] => q} salah semua maka merupakan kontradiksi