Expression symbol of Except [closed]

$\begingroup$

what is the expression symbol of this following propositional logic ?

• Big peoples eat much except i am hungry.

i've read that A except B is usually translated to A V B and sometimes to A → ¬B and still can not figured out how to translate the propositional above.

$\endgroup$

2 Answers

$\begingroup$

"except" just means ^ (AND), with a connotation in the English language that the following statement will somehow be contrary to the preceding statement (connotations do not exist in logic).

So given A = "A person is big", B = "A person eats much", C = "I am hungry", then the sentence would be (A → B)^C.

$\endgroup$ 4 $\begingroup$

HINT: Each of the following are equivalent:

$A$ is true except if $B$ is true

$[B\implies \neg A]\land [\neg B \implies A]$

$A\iff \neg B$

$A\veebar B\space\space$(Exclusive OR)

$\endgroup$