Mathematical logic and formal semantics UE Past Papers Questions.


View All Courses

(1138) Question Category: Mathematical Calculation

Use the semantic tableaux to test satisfiability of the following proposals

  1. ^-(p ightarrow q)wedge(^-pvee q)
  2. (pvee ^-q)wedge(qwedge ^-r)wedge(r ightarrow p)
  3. [(p ightarrow(^-q ightarrow r))wedge(p ightarrow^-q)] ightarrow(p ightarrow r)

Answer / Solution

UNSOLVED

(1139) Question Category: Mathematical Calculation

Give proof of the following statements. For each statement, state a type of the proof used.

  1. For every real number x, if x^2 +1<0 then x^5>4
  2. For every real number x, if x>0 then x^2 +5 >0

Answer / Solution

UNSOLVED

(1140) Question Category: Mathematical Calculation

Show by giving a direct proof , that the square of an odd number is odd.

Answer / Solution

UNSOLVED

(1141) Question Category: Mathematical Calculation

Show , by giving an indirect proof, that if x^2 is divisible by 3 then x is also divisible by 3.

Answer / Solution

UNSOLVED

(1142) Question Category: Mathematical Calculation

Show by giving a proof by contradiction , that sqrt3 is irrational.

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