How can I represent the first order logic "All men are tall unless they are short."?

Question

How can I represent the following phrase in first order logic "All man are tall unless they are short." ?

Consider that I have the unary predicates Man(x), Tall(x), Short(x)

I was thinking something like below, but it doesn't capture the fact that x is a man:

all x (- Short(x) -> Tall(x))

For every $x$, if $x$ is a man, then $x$ is either tall or short. — AlvinL, May 29 '22 at 18:03
@AlvinL , something like all x (Man(x) -> (Short(x) | Tall(x))). ? — jimmy, May 29 '22 at 18:17

score 1 · Accepted Answer · edited May 30 '22 at 08:41

1

This is my final answer:

For all $x, \Big($Man$(x) \to \big(\,$Short$(x)$ or Tall$(x)\,\big)\Big).$

edited May 30 '22 at 08:41

ryang

answered May 30 '22 at 01:31

jimmy

1 Answers1