Tilted Forum Project Discussion Community - View Single Post - Logic problems

dimbulb · 09-26-2003, 10:21 AM

more on notation, the "dot" should mean the intersection of 2 sets.....

so according to how i understand it, the first question is....

1. (x)[(Px * Bx)==> (x)(Px*Cx)]

If x is an element of the intersection of the set of all ppl and the set of all Believers in God, then x is an element of the set that is the intersection of the set of all people, and the set of obeyers of the Commandments

Px={x: x is a person}
Bx={x: x believes in God}
Cx={x: x obeys all commandents}

09-26-2003, 10:21 AM	#25 (permalink)
dimbulb Riiiiight........	more on notation, the "dot" should mean the intersection of 2 sets..... so according to how i understand it, the first question is.... 1. (x)[(Px * Bx)==> (x)(Px*Cx)] If x is an element of the intersection of the set of all ppl and the set of all Believers in God, then x is an element of the set that is the intersection of the set of all people, and the set of obeyers of the Commandments Px={x: x is a person} Bx={x: x believes in God} Cx={x: x obeys all commandents}