Consider the following facts:
a)the members of the Elm st.Bridge club are joe,sally,bill & ellen
b)joe is married to sally
c)bill is ellen's brother
d)the spouse of every married person in the club is also in the club
f)the last meeting of the club was at joe's house
represent the facts in predicate logic.
From the facts given above,most people would be able to decide on the truth of the following additional statements:
1.the last meeting of the club was at sally's house
2.ellen is not married.
can u construct resolution proofs to demonstrate the truth of each of these statements given the 5 facts listed above?Do so if possible.Otherwise add the facts you need & then construct the proofs.