1. Təqdim olunan hesablama məntiqin bir qoludur.
Həm də təklif məntiqi, bəyanat məntiqi, sentensial hesablama, sherensial məntiq və ya bəzən saferotifikasiya məntiqi deyilir.
Bu, təkliflər arasındakı təkliflər və münasibətlər, o cümlədən onlara əsaslanan dəlillərin inşası ilə məşğul olur.
-timidus_bot