ARDIL Bir şeyin peşinden, arkasından gelen; müteakip. Mantıkta ardıl önerme, bir çıkarım kuralı uyarınca, bir önermenin peşinden ge...
ARDIL
Bir şeyin peşinden, arkasından gelen; müteakip.
Mantıkta ardıl önerme, bir çıkarım kuralı uyarınca, bir önermenin peşinden gelen önerme. (Aristoteles'te ARDlL'ın eşanlamlısı.)
Bir kimsenin yerine geçen şahıs; halef. (Karşıtı:ÖNCEL.)
Aritmetikte ardıl fonksiyonu, İN naturel tamsa yılar kümesi üstünde tanımlanmış, her n tamsayısına onun tek n + 1 ardılını eşlik ettiren fonks'/on (Kimi kez bu fonksiyon nr S(n) ya da 3uc(n) ile gösterilir.]Bir n tamsayısının ardılı, pn + t tamsayısı; kimi kez n> ile gösterilir,
Cebirde ardıl sıralı bir E kümesinin x elemanının ardılı, sıralı E kümesinin x ten dar an lamda büyük elemanlarının kümesinin, var ise, x* ile gösterilen en minik elemanı. (x maksımalse, x* yoktur. Bu eleman İN de x + 1 ile gösterilir.) [Eşanl. ARDIŞIK ELEMAN.]
Bir çıkarım kuralının uygulanmasıyla elde edilmiş önerme. (Yerine koyma kuralı türünden bazı çıkarım kurallarının bir tek ön önermesi, buna karşılık sonsuz sayıda ardılı vardır.)
Aristoteles mantığında, iki önermeden oluşan bir çıkarımın ikinci önermesi Bu ikinci önerme, kendisini belirleyen birinci önermenin türetilebilir bir sonucudur. ("Tüm insanoğlu ölümlüdür†önermesinden, “ölümlü olmayan insan yoktur "un türetilmesi benzer biçimde.)
Büyük Larousse
Bir şeyin peşinden, arkasından gelen; müteakip.
Mantıkta ardıl önerme, bir çıkarım kuralı uyarınca, bir önermenin peşinden gelen önerme. (Aristoteles'te ARDlL'ın eşanlamlısı.)
Bir kimsenin yerine geçen şahıs; halef. (Karşıtı:ÖNCEL.)
Aritmetikte ardıl fonksiyonu, İN naturel tamsa yılar kümesi üstünde tanımlanmış, her n tamsayısına onun tek n + 1 ardılını eşlik ettiren fonks'/on (Kimi kez bu fonksiyon nr S(n) ya da 3uc(n) ile gösterilir.]Bir n tamsayısının ardılı, pn + t tamsayısı; kimi kez n> ile gösterilir,
Cebirde ardıl sıralı bir E kümesinin x elemanının ardılı, sıralı E kümesinin x ten dar an lamda büyük elemanlarının kümesinin, var ise, x* ile gösterilen en minik elemanı. (x maksımalse, x* yoktur. Bu eleman İN de x + 1 ile gösterilir.) [Eşanl. ARDIŞIK ELEMAN.]
Bir çıkarım kuralının uygulanmasıyla elde edilmiş önerme. (Yerine koyma kuralı türünden bazı çıkarım kurallarının bir tek ön önermesi, buna karşılık sonsuz sayıda ardılı vardır.)
Aristoteles mantığında, iki önermeden oluşan bir çıkarımın ikinci önermesi Bu ikinci önerme, kendisini belirleyen birinci önermenin türetilebilir bir sonucudur. ("Tüm insanoğlu ölümlüdür†önermesinden, “ölümlü olmayan insan yoktur "un türetilmesi benzer biçimde.)
Büyük Larousse
YORUMLAR