11/9/2020 Grok | COMP30026 Practice Exam
Ques on 3
Ques on 3 Part D (3 marks)
For part D, consider these closed first-order predicate logic formulas same as in parts A, B and C):
: :
Part D (3 marks)
Recall that says that is a logical consequence of .
and (
is the
Which of the following statements are correct? Iden fy all of the correct statements from the following list.
Instruc ons
Select one or more answers.
https://groklearning.com/learn/unimelb-comp30026-2020-s2/prac-exam/8/ 1/1
Cheng
GHG
φψψ⊨φ
H ⊨ )H ∧ G( )H ⇒ G( ⊨ H G⊨H H≡G H ∧ G ⊨ )H ⇒ G( H⊨G
)))x,y(P¬(y∃∨)x,x(P(x∀ H ))x,y(P⇒)y,x(P(y∀x∀ G