Answer Happy

Posted: **Wed Jul 13, 2022 5:10 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 1 (10.54 KiB) Viewed 30 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), 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 ]