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

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

## Translation from awFOL to English

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) )
)

Domain: {people and actions}

D(x) : x is desirable

V(x) : x is virtuous

A(x) : x is an action

P(x,y) : x performed y

a : Ayesha

All squares are blue.

∀x( S(x)B(x) )

Some squares are blue.

∃x( S(x)B(x) )

 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(∃y( A(y) ∧ P(x,y) ∧ ¬V(y) )∧ ¬∃z( A(z) ∧ P(x,z) ∧ V(z) ) )
14.1--14.3, (*14.4--14.5)