Are my answers correct?
In the questions below suppose the variable x represents people,
F(x): x is friendly
T(x): x is tall
A(x): x is angry.Write the statement using these predicates and any needed quantifiers.
i. Some tall angry people are friendly.
Ǝ(x) [T(x) and A(x) => F(x)]
ii. If a person is friendly, then that person is not angry.
f(x) => -A(x)
PS: In MathJax:
$\quad\exists x~[T(x)\land A(x)\to F(x)]$
$\quad f(x)\to \lnot A(x)$
$i) \exists x(T(x) \land A(x) \land F(x))$
Some, ($\exists x$) tall and angry and friendly people.
$i) F(x) \implies \lnot A(x)$, whichi is what you have is correct!