- Complete The Axiomatization By Using And Add A Rule Of Universal Generalization A 1 1 Xa A Y X Xa A Y X Provided 1 (8.4 KiB) Viewed 21 times
Complete the axiomatization by using and add a rule of universal generalization a) (∀1∀1)∀xA→A(y/x)∀xA→A(y/x), provided
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am
Complete the axiomatization by using and add a rule of universal generalization a) (∀1∀1)∀xA→A(y/x)∀xA→A(y/x), provided
Complete the axiomatization by using and add a rule of universal generalization a) (∀1∀1)∀xA→A(y/x)∀xA→A(y/x), provided yy is free for xx in AA b) (∀2∀2)∀x(A→B)→(A→∀xB)∀x(A→B)→(A→∀xB), provided xx does not occur fiee in A