Үүнийг мессежээр илгээх: Formal logic :