Okay - I don't feel like finding a way to post good notation for logical quantifiers and such.
There exists no X such that X beleives in God and does not follow God's commandments.
Let B(x) be the statement - X believes in God
Let F(x) be the statement - X follows God's commandments
Not(ThereExists(x) such that (B(x) and (Not(F(x)))
In EnglishEveryone who believes in God obeys all of His commandments
okay folks... you all talk about logic a lot... somebody else join in and prove it.
__________________
"It's a long story," says I, and let him up.
|