Cytaty
Introducing Logic
Tekst
assumption, which in this case was ¬q . So we reject the assumption, which gives us ¬¬q . It follows…
Introducing Logic
assumption, which in this case was ¬q . So we reject the assumption, which gives us ¬¬q . It follows…