Proposisi harus merupakan pernyataan

Proposisi harus sudah dinyatakan benar dan salah

Proposisi dapat berupa kalimat sederhana atau disertai kata sambung

Proposisi harus berupa kalimat logika

T

 $\sim A\ \vee B$  

 $A\longrightarrow B$  

 $\sim A\vee B$  

 $\sim\left(\sim A\longrightarrow B\right)$  

 $A\wedge B$  

 $\sim\left(A\longrightarrow B\right)$  

 $\sim A\wedge\sim B$  

 $\sim\left(\sim q\wedge r\right)\longrightarrow\sim p$  

 $\left(q\wedge\sim r\right)\longrightarrow\sim p$  

 $\left(\sim q\vee r\right)\longrightarrow\sim p$  

 $\sim\left(\sim q\vee r\right)\longrightarrow\sim p$  

Tidak benar bahwa jika ia tidak kenyang atau tidak bahagia, ia tidak makan rejeki orang lain secara sah.

Tidak benar bahwa jika ia tidak kenyang dan tidak bahagia, ia tidak makan rejeki orang lain secara sah.

Jika ia kenyang atau bahagia, maka ia tidak makan rejeki orang lain secara sah

Ia tidak kenyang atau bahagia jika ia tidak makan rejeki orang lain secara sah.