• @BiNonBiOPM
    link
    119 months ago

    A⇒B ⊬ ¬A⇒¬B