Using the interpretation below, providing English translations of the following sentences of awFOL.
 
\hspace{5mm} \begin{minipage}{\columnwidth}
 
\hspace{5mm} Domain: {people and actions}
 
\hspace{5mm} D(x) : x is desirable
 
\hspace{5mm} V(x) : x is virtuous
 
\hspace{5mm} A(x) : x is an action
 
\hspace{5mm} P(x,y) : x performed y
 
\hspace{5mm} a : Ayesha
 
\end{minipage}
 
i. ∀x( D(x) → V(x) )
 
ii. ∀x( (A(x) ∧ D(x)) → V(x) )
 
iii. ∃x( A(x) ∧ ¬D(x) )
 
iv. ∃x( A(x) ∧ ¬D(x) ∧ V(x) )
 
v. ∃x( A(x) ∧ P(a,x) ∧ ¬V(x) )
 
vi. ¬∃x(
 
\hspace{5mm} ∃y( A(y) ∧ P(x,y) ∧ ¬V(y) )
 
\hspace{5mm} ∧
 
\hspace{5mm} ¬∃z( A(z) ∧ P(x,z) ∧ V(z) )
 
)
 

Press the right key for the next slide (or swipe left)

14.1--14.3, (*14.4--14.5)