Register

# Discrete Mathematics

466 views

1 Answer

Voting & Accepting an answer helps improve the community
← Previous · made easy gate cs 23...Next → · Digital logic refere...
← Previous in category · Discrete mathematics...Next in category → · Is Numerical Method ...
Position:
Show:

Related questions

1 1 vote
2 2 answers
853
853 views
ram_18051996 asked Jun 12, 2017
853 views
# FREE VARIABLE ( NULL QUANTIFICATION ) Related problem
Given that LHS : [(∃x,α(x))→β]RHS : [∃x,α(x)→β]than which one is valid ?a) LHS → RHSb) RHS → LHS
0 0 votes
1 1 answer
672
672 views
ykrishnay asked Apr 20, 2022
672 views
kenneth h rosen chapter 1 section 1.5 PRENEX NORMAL FORM in excercise 1.5
can this topic “PRENEX NORMAL FORM(PNF) ” is necsesary for gate or just i skip this topic.
0 0 votes
0 0 answers
708
708 views
ykrishnay asked Apr 20, 2022
708 views
kenneth h rosen chapter 1 section section 1.5 nested quatnifiers excercise 49
49. a) Show that ∀xP (x) ∧ ∃xQ(x) is logically equivalentto ∀x∃y (P (x) ∧ Q(y)), where all quantifiers havethe same nonempty domain.b) Show that ∀xP (x) ∨ ∃xQ(x) is equiv...
0 0 votes
0 0 answers
1.2k
1.2k views
ykrishnay asked Apr 20, 2022
1,153 views
kenneth h rosen chapter 1 section 1.5 nested quantifiers excercise 1.5 question 48
Show that ∀xP (x) ∨ ∀xQ(x) and ∀x∀y(P (x) ∨ Q(y)),where all quantifiers have the same nonempty domain,are logically equivalent. (The new variable y is used tocombine the ...