Keviri La Herşey Redle Başlar: [893] [Ayrık şartlının mâni‘atü’l-huluvv olduğu] ikincinin örneği de şöyledir: “Her ne zaman her C, B değilse, H de Z’dir. Ve mâni‘atü’l-huluvv olarak ya H, Z dir, ya da bazı B’ler A’dır, daima değildir.” Şu sonuç çıkar: “Hiçbir C, A değildir.” Çünkü bitişik şartlı “Daima ya her C, B’dir, ya da H, Z’dir mâni‘atü’l-cem‘ olarak”ı gerektirir. Kıyas da mâni‘atü’l-huluvvdan oluşan kıyaslara ircâ edilir ve aranılan yüklemli sonuç olarak elde edilir.

[893] [Ayrık şartlının mâni‘atü’l-huluvv olduğu] ikincinin örneği de şöyledir: “Her ne zaman her C, B değilse, H de Z’dir. Ve mâni‘atü’l-huluvv olarak ya H, Z dir, ya da bazı B’ler A’dır, daima değildir.” Şu sonuç çıkar: “Hiçbir C, A değildir.” Çünkü bitişik şartlı “Daima ya her C, B’dir, ya da H, Z’dir mâni‘atü’l-cem‘ olarak”ı gerektirir. Kıyas da mâni‘atü’l-huluvvdan oluşan kıyaslara ircâ edilir ve aranılan yüklemli sonuç olarak elde edilir.

Sayfa 458·Kitabı okudu

Kıstasu'l Efkar Fi Tahlikiki'l Esrar Şemsuddin es-Semerkandi

2 Gösterim

Yorumlar

Lütfen giriş yapınız.