Home / Expert Answers / Computer Science / help-xy-r-x-y-gt-r-y-x-pr-ay-r-a-y-gt-r-y-a-ae1-r-a-b-gt-r-b-a-ae2-r-a-pa530

(Solved): help xy(R(x,y) -> R(y,x)) :PR Ay(R(a,y) -> R(y,a)) :AE1 R(a,b) -> R(b,a) :AE2 R(a ...



help ∀x∀y(R(x,y) -> R(y,x)) :PR Ay(R(a,y) -> R(y,a)) :AE1 R(a,b) -> R(b,a) :AE2 R(a,b)( ()/())/(R)(a,a) :AS R(a,b)( :)/(()/())E4 R(b,a) :->E3,5 R(a,a)( :)/(()/())E4 R(a,a)( ()/())/(R)(a,b)( :)/(()/())I6,7 Et(R(b,t)( ()/())/(R)(a,t))( :)/(()/())I (R(a,b) ∧ R(a,a)) -> ∃t(R(b,t) ∧ R(a,t)) :->I ∀z((R(a,b) ∧ R(a,z)) -> ∃t(R(b,t) ∧ R(z,t))) :AI ∀y∀z((R(a,y) ∧ R(a,z)) -> ∃t(R(y,t) ∧ R(z,t))) :AI ∀x∀y∀z((R(x,y) ∧ R(x,z)) -> ∃t(R(y,t) ∧ R(z,t))) :AI


We have an Answer from Expert

View Expert Answer

Expert Answer


We have an Answer from Expert

Buy This Answer $5

Place Order