A1solution - CS245 Assignment 1 Solutions Question 1(10pt 1 p I will go to school q I feel like sleeping(p q 2 p Waterloo will win the football

A1solution - CS245 Assignment 1 Solutions Question 1(10pt 1...

This preview shows page 1 - 3 out of 6 pages.

CS245 Assignment 1 Solutions Question 2 (9pt)For each of the following strings, determine whether is a well formed formula or not. Prove yourclaims by providing a formation sequence. If the string is not a well formed formula, show the stepin the formation sequence where it fails.1. ((p∨ ¬q)p)2. (((¬p)q)(¬(p(¬q))))3. (p((¬q)))(¬(pq)) 1
(rule 2) ifUForm(LP), then (¬U)Form(LP)(rule 3) ifU, VForm(LP), then (U*V)Form(LP),where*is one of the connectives,,,.

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture

  • Left Quote Icon

    Student Picture