propositional encoding
əjdahalar googllaHə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
üzv ol