Anda di halaman 1dari 2

FIRST ORDER LOGIC

More expressive than propositional logic

Anda mungkin juga menyukai