Mantık önermelerin doğru veya yanlış olduğuyla ilgilenmez. Bütün sincaplar kuştur. Habil bir sincaptır. O hâlde Habil bir kuştur. Bütün sincapların kuş olduğunu ve benim bir sincap olduğumu kabul edersek, bu akıl yürütme mantıksal açıdan geçerli olur. Ben kuş veya sincap değilim.