Answer Happy

Posted: **Wed Jul 13, 2022 5:07 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 1 (8.4 KiB) Viewed 35 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 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