SAYFA 001 002 003 004 005 006 007 008 009 010 011 012 013 014 015 016 017 018 019 020 021 022 023 024 025 026 027 028 029 030 031 032 033 034 035 036 037 038 039 040 041 042 043 044 045 046 047 048 049 050 051 052 053 054 055 056 057 058 059 060 061 062 063 064 065 066 067 068 069 070 071 072 073 074 075 076 077 078 079 080 081 082 083 084 085 086 087 088 089 090 091 092 093 094 095 096 097 098 099 100 101 102 103 104 105

TR

Mâniatü'l-hulû olan önermeler:

Ayrık şartlı olan bu önermelerde mukaddem ile tali arasında, bunların yalnız yanlışlıkları bakımından ayrıklık ile veya bu ayrıklığın olumsuz kılınması ile hükmolunan önermelere mâniatü'l-hulû denir. Bu önermelerde ayrıklık önermenin olumsuzluğundadır. Önermenin olumluluğunda da ayrıklık kalkmaz.

Hâlidî, bu tür önermeleri de şöyle izah etmektedir: Parçaları, bir şeyden bir anda ayrılmaları mümkün olmayan ayrık şartlı önermelerdir. Yani ikisinin bir arada olması mümkündür. Olumlu önermelerde aynı nesneye uygulandıklarında mukaddem ile tali ikisi birden yanlış olmaz, ya birisi veya ikisi birden doğru olabilir.

Şu örnek mantık kitaplarında sık kullanılır:

"Zeyd ya denizdedir veya boğulmuyordur." Bunun tersi olmaz.

Yani, "Zeyd karadadır ve boğulur" dediğimizde bu doğru bir önerme olmaz. İkisi bir arada olabilir.

Yani, "Zeyd denizdedir ve o boğulmuyor." O, gemide olabilir veya güzel yüzüyordur v.s. Bu örnekte mukaddem olan 'suda olma' hali ile tali olan 'boğulmama' hali arasında bir şeyde birleşmemeleri noktasında bir karşıtlık bildirilmiş değildir. Olumsuz önermede ise iki taraf birden yanlış olabilir.

Örneğin; "Zeyd illa ya suda olmayacak, ya da boğulacak değildir." Örnekte görüldüğü gibi Zeyd'e bir anda şu iki durumun, yani 'suda olmak ve boğulmamak' söz konusu olabileceği bildirilmiştir. Daha açık ifadeyle söyleyecek olursak, "Zeyd hem denizde olabilir hem de boğulmayabilir. Yani ikisi birlikte olabilir.

Sonuç olarak, yüklemli önermeler doğrudan bir şeyin bir vasıf veya fiille tavsif edildiğini; bitişik şartlı önermeler iki şey arasında bir irtibatın bulunduğunu; ayrık şartlı önermeler ise iki şey arasında bir karşıtlığın bulunduğunu anlatmak üzere geliştirilmiş kalıplardır. Tabii bu durum sözü edilen önerme türlerinin olumluları için geçerlidir. Olumsuzlarda durum bunun tam tersidir.