اگر سه گزارۀ $\sim r$، $q\Rightarrow r$ و $\sim p\Rightarrow q$ درست باشند، آنگاه کدام گزارۀ زیر درست است؟
بنا به فرض $\sim r$ درست است، پس $r$ نادرست میباشد. حال چون $q\Rightarrow r$ درست و $r$ نادرست است، پس $q$ باید نادرست باشد. اکنون $\sim p\Rightarrow q$ درست و $q$ نادرست است، پس $\sim p$ باید نادرست باشد، بنابراین $p$ درست است.