Using the symbolization key given below, symbolize each English sentence in FOL (First-Order Logic). Here is the key for inputting the logical connectives and quantifiers into Carnap:

type ~ or "not" for negation
type \/ or "or" for disjunction
type /\ or "and" for conjunction
type > or -> for conditional
type <> or <-> for biconditional
type Ax for the universal quantifier
type Ex for the existential quantifier
Here is the symbolization key:

Domain: people
C(x) = x knows the combination to the safe.
S(x) = x is a spy.
V(x) = x is a vegetarian.
h = Hofthor
g = Galadriel

Translate:
Every vegetarian knows the combination to the safe only if some spy who knows the combination to the safe is also a vegetarian.

Gexpressions: practice question 3 of 5 jackson wants to study the popularity of his music video by tracking the number of views the video gets on his website. the expression below represents the total number of views that jackson's video receives n days after he begins tracking the nu views, where b is the rate at which the number of views changes. alb)" select the statement that would accurately describe the effect of tripling a, the initial number of views before jackson beginst the rate at which the number of views changes, b, will triple. the total number of views the video has after n days, a(b)", will not change. the total number of days since jackson begins tracking views, n, will be reduced by one-third. the total number of views the video has after n days, alb)", will triple. submit