b.) Let "B(x,y)" represent that "x" has visited a country "y".
So, the above statement is quantified as;
"\\exists x \\forall y, \\neg B(x,y) \\leftrightarrow y= Libya."
a.) Let "M(x)" represent "x" is a math course at this school. So the statement above is quantified as;
"\\forall x (S(x) \\to \\exists y \\exists z (y \\neq z \\wedge \\forall w((w = y \\vee w=z) \\leftrightarrow (M(w) \\wedge T(x,w))))" .
Comments
Leave a comment