Share
Explore BrainMass

Indicate which of the following are formulas of PL, and which of those are sentences of PL.

1. Indicate which of the following are formulas of PL, and which of those are sentences of PL. For each formula, underline the main logical operator and indicate whether the formula is atomic, truth-functionally compound, or quantifed. For those that are not formulas, explain why not, and for those that are formulas but not sentences, explain why they are not sentences.

a. ~ ~ ~ (Ay)Fya
b. (Az)(Faz > Gz)
c. (Ex)Fxa > (Ey)Gay
d. (Az)(Fza > Gwy)
e. ~ (Ea)Fa

$2.19