Academic Integrity: tutoring, explanations, and feedback — we don’t complete graded work or submit on a student’s behalf.

Symbolize the statement below using the scheme of abbreviation provided: ; ; •;

ID: 1719576 • Letter: S

Question

Symbolize the statement below using the scheme of abbreviation provided: ; ; •; ~; ; ; ; $

7.1 All that glitters is not gold. (Gx: x glitters; Hx: x is gold)
7.2 Mark Twain wrote Huckleberry Finn. (Wxy: x wrote y; t: Mark Twain; h: Huckleberry Finn)
7.3 Either nothing matters or everything matters. (Mx: x matters)
7.4 There are at least two candidates for president. (Px: x is a candidate for president)
7.5 No philosopher except Nietzsche revels in paradox. (Px: x is a philosopher; n: Nietzsche; Rx: x revels in paradox)
7.6 Brad Pitt is married. (b: Brad Pitt; Mxy: x is married to y)

Explanation / Answer

Answer:

7.1)

Consider the statement : " All that glitters is not gold "

Let us denote :

G(x) : x glitters

H(x) : x is gold

Then the above statement can be written in symbolic form as follows

(x) ( G(x) ~ H(x) )

7.2) Consider the statement : " Mark Twain wrote Huckleberry Finn "

Let us denote :

W(x,y) : x wrote y

t: Mark Twain

h: Huckleberry Finn

Then the above statement can be written in symbolic form as follows

W(t,h).

7.3) Consider the statement : " Either nothing matters or everything matters".

Let us denote :

M(x) : x matters

Then the above statement can be written in symbolic form as follows:

(x) ( M(x) ~ M(x) )

7.4) Consider the statement : " There are at least two candidates for president".

Let us denote :

P(x) : x is a candidate for president

$(x) ( P(x) 2)

7.5) Consider the statement : "No philosopher except Nietzsche revels in paradox".

Let us denote :

P(x) : x is a philosopher

n: Nietzsche

R(x) : x revels in paradox

Then the above statement can be written in symbolic form as follows:

(x) ( ~ P(x) • n ) R(x) )

7.6) Consider the statement : " Brad Pitt is married ".

Let us denote :

b: Brad Pitt

M(x,y) : x is married to y

Then the above statement can be written in symbolic form as follows:

M(b,y)