منطقی که ما به کار می بریم منطق ارسطویی هست ... راستش رو بخواین هم خودمم زیاد در موردش نمی دونم ولی می تونید در موردش بیش تر تحقیق کنید
(اصولش تا اون جایی که یادم میاد اینا بودند : 1- هر آنچه که هست ،هست (همون T=T خودمونه) 2- هر چیزی یا هست یا نیست (همون T یا F خودمونه) 3- ... یادم نمیاد...