Mathematical logic and formal semantics UE Past Papers Questions.


View All Courses

(1133) Question Category: Mathematical Calculation

Detrmine the truth value of each of the following statements if the universe of each variable consists of

  1. all real numbers
  2. all integers

Justify your answers.

  • exists xexists y(x+y eq y+x)
  • forall x exists y(x+y=2wedge 2x-y=2)

Answer / Solution

UNSOLVED

(1134) Question Category: Mathematical Calculation

Describe the proof by resolution technique

Answer / Solution

UNSOLVED

(1135) Question Category: Mathematical Calculation

Use resolution to prove the following

  1. (^-pvee t),(^-qvee s),(^-rvee t),(p vee qvee rvee u)vdash (svee tvee u).
  2. (^-rvee u),(^-uvee ^-w),(rvee^-w)vdash w.
  3. (pvee ^-q),(^-wvee q),(wvee qvee r), ^-pvdash r.
  4. (tvee ^-evee d),(^-tvee c),((ewedge ^-g)vee ^-dvee p), (tvee cvee ^-d vee g),\ (^-pvee ^-g),^-cvdash ^-(dwedge e).

Answer / Solution

UNSOLVED

(1136) Question Category: Mathematical Calculation

Explain the disadvantages of using the truth table method in testing proposal satisfiability.

Answer / Solution

UNSOLVED

(1137) Question Category: Mathematical Calculation

Explain how the semantix tableaux method can be used to test the validity of a proposition.

Answer / Solution

UNSOLVED

View All Courses
News & Updates | Recently
Recent Updates
questions

2024-05-02: questions

Questions Uploaded on 2024-05-02
questions

2024-03-29: questions

Questions Uploaded on 2024-03-29
questions

2024-03-19: questions

Questions Uploaded on 2024-03-19

Dismissible in 10 seconds