A.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20Symbol%7D%0Aspan.s2%20%7Bfont%3A%209.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D ∀ x ( P ( x ) ∨ ∃ yR ( y ))
B.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2011.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D P ( x )
C.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2012.0px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2012.0px%20Symbol%7D P ( x ) ∨ ∃ yR ( y )
D.
p.p1%20%7Bmargin%3A%200.0px%200.0px%200.0px%200.0px%3B%20text-align%3A%20justify%3B%20font%3A%2011.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D%0Aspan.s1%20%7Bfont%3A%2010.5px%20%26%2339%3BTimes%20New%20Roman%26%2339%3B%7D P ( x ), Q ( x )