angel123456

angel123456

Member

Member since
Jan 12, 2015
Last active
Jan 12, 2015
Total activities
0

Activity feed

Recent contributions

  1. #Threads

    How to solve below question related to predicate calculus

    1.How to find a compound proposition logically equivalent to p--> q using only the logical operator NOR . 2. How many truth...

  2. #Threads

    What are the truth values of these statements?

    a) ∃!xP(x) → ∃xP(x) b) ∀xP(x) → ∃!xP(x) c) ∃!x¬P(x)→¬∀xP(x) I am unable to get any idea how to approach this question...