Revision history of "false implied by true is false" (Z10359)

ᡳᠯᡤᠠᠪᡠᠨ ᠰᠣᠨᠵᠣᡥᠣᠨ᠄ ᠪᡠᡳᠪᡠᠯᡝᡵᡝ ᡩᡠᡵᡠᠨ ᡳ ᡵᠠᡩᡳᠣ ᡴᡠᠸᠠᠩᠰᡝ ᠪᡝ ᠰᠣᠨᠵᠣᡥᠣ ᠮᠠᠩᡤᡳ ᡝᠨᡨᡝᡵ ᡝᡳᠴᡳ ᡝᠨᡨᡝᡵ ᡶᡝᠵᡝᡵᡤᡳ ᠪᡝ ᠠᠨᠠ᠈
ᠰᡠᡥᡝ ᡤᡳᠰᡠᠨ᠄ (ᠨᡝ) = ᡥᠠᠨᠴᡳᡴᡳ ᡩᡠᡵᡠᠨ ᠴᡳ ᡩᡠᡳᠪᡠᠯᡝᠮᠪᡳ᠈ (ᡝᠪᡳᠰᡳᡥᡝ) = ᠨᡝᠨᡝᡥᡝ ᡩᡠᡵᡠᠨ ᠴᡳ ᡩᡠᡳᠪᡠᠯᡝᠮᠪᡳ᠈ m = ᠠᠵᡳᡤᡝ ᡴᡡᠪᡠᠯᡳᠨ᠈