Mathematical Logic: binary connector * symbol

Question

I'm studying Mathematical Logic and I am stuck on this problem.

I've been understanding everything, but I'm stuck on this exercise, because I never seen this symbol in classes, needer on the internet, and I can't find it anywhere.

I am Portuguese (from Portugal), so I'm going to do my best to translate:

---

1. In the exercise they are asking me to construct a Truth Table, " considering the binary connective * ";

2. They give me the truth table of (P * Q);

3. They also give me the propositional " (p^q) * (p <=> q) => (p*q) v ~p ", from which I need to make the Truth Table as I said in 1.

What is the binary connective *?

Can someone, please, explain me or give me a link? Thank you very much in advance.

Answer 1

It depends what the truth table you are given consists of. For instance, if the truth table looks like $$\begin{eqnarray*} p &\quad q\quad & p * q\\ T &\quad T\quad & T\\ T &\quad F\quad & F\\ F &\quad T\quad & T\\ F &\quad F\quad & T \end{eqnarray*}$$ then $*$ is the conditional, $\to$.