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

Àṣàyàn ìyàtọ̀: ẹ fagi sínú àpótí àwọn átúnyẹ̀wò tí ẹ fẹ́ ṣàfiwè, lẹ́yìn náà ẹ tẹ enter tàbí bọ́tìnì ìsàlẹ̀.
Àlàyé: (lọ́wọ́) = ìyàtọ̀ sí àtúnyẹ̀wò tìsinyìí, (tẹ́lẹ̀) = ìyàtọ̀ sí àtúnyẹ̀wò tókọjá, k = àtúnṣe kékeré.