Logic Homework

Due: November 1st @ class time (1:30PM)

Exercise: Natural language to logic

Convert each natural language sentence below to first-order logic.

Policy Natural Language Text

• Only faculty members may access students details in mavlink
• Students and faculty may access canvas, but only faculty are allow to use the ‘gradebook’ component.
• All university web apps must use HTTPS

Submission

Submit your answers as a .pdf file to canvas by the due date.