Test 8

2022-05-10 14:02:36 +02:00
parent 7eb605eb83
commit f6be1ad6da
1 changed files with 6 additions and 0 deletions
@@ -1 +1,7 @@
 (A -> B) -> ~B -> ~A
+intro f.
+intro b.
+intro a.
+apply b.
+apply f.
+assumption.