Revision history of "false implied by true is false" (Z10359)
ꯈꯟꯒꯠꯂꯕ ꯈꯦꯠꯅꯕ:ꯑꯃꯨꯛꯍꯟꯅ-ꯌꯦꯡꯕꯁꯤꯡ ꯆꯥꯡꯗꯝꯅꯅꯕ ꯔꯤꯗꯤꯑꯣ ꯅꯝꯐꯝꯁꯤꯡꯗꯨ ꯍꯛꯆꯤꯟꯂꯨ ꯑꯃꯁꯨꯡ ꯏꯟꯇꯔꯗ ꯅꯝꯃꯣ ꯅꯠꯇ꯭ꯔꯒ ꯈ꯭ꯋꯥꯏ ꯃꯈꯥꯒꯤ ꯅꯝꯐꯝꯗꯨ ꯅꯝꯃꯨ ꯫
ꯂꯤꯖꯦꯟ: (ꯍꯧ) = ꯈꯦꯠꯅꯕꯁꯤꯡ ꯂꯣꯏꯅꯅ ꯈ꯭ꯋꯥꯏꯗꯒꯤ ꯑꯅꯧꯕ ꯱ꯑꯃꯨꯛꯍꯟꯅ-ꯌꯦꯡꯕ, (ꯃꯃꯥꯡꯒꯤ) = ꯃꯊꯪ ꯃꯊꯪ ꯂꯥꯛꯄ ꯑꯃꯨꯛꯍꯟꯅ-ꯌꯦꯡꯕꯒ ꯂꯣꯏꯅꯅ ꯈꯦꯠꯅꯕꯁꯤꯡ, ꯃ = ꯑꯄꯤꯛꯄ ꯁꯦꯝꯒꯠꯄꯅꯤ ꯫