-2
$\begingroup$

I have this question below for homework in my Discrete Mathematics class. I was wondering what the difference between questions 1 and 2 are?

Is #1 asking if there is a row where all entries are true, while #2 is asking if there is a column where all entries are true?

$$\def\true{\color{blue}{\text{T}}}\def\false{\color{red}{\text{F}}} {\textbf{Problem II.1}\quad\text{Using the truth tables for three predicates $P$, $Q$, and $R$, over}\\\text{the domain $\mathcal D = \{a,b,c\}$, where the first argument is vertical (row) and the}\\\text{second is horizontal (column).}}\\ \begin{array}{c|ccc}P & a & b & c \\ \hline a & \true & \false & \true \\ b & \false & \false & \false \\ c & \true & \true & \true\end{array}\qquad\begin{array}{c|ccc}Q & a & b & c \\ \hline a & \false & \true & \false \\ b & \true & \false & \true \\ c & \true & \true & \true\end{array}\qquad \begin{array}{c|ccc} R & a & b & c \\ \hline a & \false & \false & \false \\ b & \false & \false & \false \\ c & \false & \false & \false\end{array}\\{\text{Evaluate the truth values for the statements from predicate logic below.}\\ \quad1.\quad \exists x\forall y,~ P(y,x)\\\quad2.\quad \exists x\forall y,~P(x,y)\\\quad3.\quad\exists x\exists y,~Q(x,y)\\\quad 4.\quad\exists x\forall y,~\neg R(x,y)}$$

image source

$\endgroup$

closed as off-topic by Mauro ALLEGRANZA, Namaste, Strants, GNUSupporter 8964民主女神 地下教會, The Phenotype Mar 15 '18 at 17:03

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – Namaste, Strants, GNUSupporter 8964民主女神 地下教會, The Phenotype
If this question can be reworded to fit the rules in the help center, please edit the question.

1
$\begingroup$

$P(y, x)$ is looking at the rows $y$ and the columns $x$. So question (1) is asking if there exists a column in the $P$ table such that all of the entries going down that column (i.e. all the rows) are true.

Question (2) asks the opposite since we are looking at $P(x, y)$: whether there exists a row such that all the entries are true.

$\endgroup$

Not the answer you're looking for? Browse other questions tagged or ask your own question.