«دادىل قەدەم، مۇۋەپپەقىيەتلىك ئىزلىنىش» ناملىق ماقالە فورمال لوگىكا