Mathematical logic and formal semantics UE Past Papers Questions.


View All Courses

(1122) Question Category: Mathematical Calculation

Write a rcursive definition of the subformula Sub(varphi ) a proporsition varphi.

Answer / Solution

UNSOLVED

(1123) Question Category: Mathematical Calculation

Determine Sub(varphi ) of the proporsition varphi =(^-p_2
ightarrow (p_3vee(p_1leftrightarrow p_2)))wedge ^{-}p_3.

Answer / Solution

UNSOLVED

(1124) Question Category: Mathematical Calculation

Without using truth table method, prove the identity

pwedge (qvee r)=(pwedge q)vee (pwedge r).

Answer / Solution

UNSOLVED

(1125) Question Category: Mathematical Calculation

Determine the parsing tree of the proporsition(^-p_2
ightarrow (p_3vee (p_1leftrightarrow p_2)))wedge^-p_3.

Answer / Solution

UNSOLVED

(1126) Question Category: Mathematical Calculation

State the duality property in proporsional logic

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