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)