Cebirsel cümle - Algebraic sentence

İçinde matematiksel mantık, bir cebirsel cümle sadece ile terimler arasındaki denklemler kullanılarak ifade edilebilen serbest değişkenler. Eşitsizliklere ve nicelik belirteçlerine özellikle izin verilmez. Duygusal mantık alt kümesidir birinci dereceden mantık sadece cebirsel cümleleri içeren.

Bir cümlenin cebirsel olduğunu söylemek, cümlenin cebirsel olduğunu söylemekten daha güçlü bir durumdur. temel.

İlişkili