- 2 Complete The Axiomatization By Using And Add A Rule Of Universal Generalization A 1 1 Xa A Y X Xa A Y X Provid 1 (10.54 KiB) Viewed 29 times
2. Complete the axiomatization by using and add a rule of universal generalization a) (∀1∀1)∀xA→A(y/x)∀xA→A(y/x), provid
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
2. Complete the axiomatization by using and add a rule of universal generalization a) (∀1∀1)∀xA→A(y/x)∀xA→A(y/x), provid
2. Complete the axiomatization by using and add a rule of universal generalization a) (∀1∀1)∀xA→A(y/x)∀xA→A(y/x), provided yx is free for xx in AA [2 marks] b) (∀2∀2)∀x(A→B)→(A→∀xB)∀x(A→B)→(A→∀xB), provided xx does not occur free in A [6 marks ]
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!