Register

Discrete maths

353 views

Please log in or register to answer this question.

Voting & Accepting an answer helps improve the community
← Previous · Finit AutomataNext → · which of the followi...
← Previous in category · ISI MathsNext in category → · Ace Academy All the ...
Position:
Show:

Related questions

0 0 votes
1 answers 1 answer
578
578 views
jason33 asked Apr 17, 2017
578 views
Xerox Note Of Discrete Math
Are the following implications right or wrong and how?1. for_every_x( p(x) >q(x) ) - (for_every_x(p(x)) for_every_x(q(x)))2. (der_exist_x(p(x)) >der_exist_x(q(x))) ...
3 3 votes
1 1 answer
763
763 views
rahul sharma 5 asked Jan 24, 2018
763 views
[Discrete maths] Predicate logic
Which of the following is true about below predicate logic P?A) P is satisfiableB) P is tautologyC) P is contradictionD) NoneThis expression in the end reduces to:-~ ∀z {...
2 2 votes
2 2 answers
2.5k
2.5k views
rahul sharma 5 asked Nov 16, 2017
2,513 views
Discrete maths:- Predicate logic
Consider $F(P), Q(P), L(P)$ denotes statements “Printer $P$ is out of service”, “Print job $P$ is queued” and “Print job $P$ is lost” respectively. Then statement “If a j...
1 1 vote
2 answers 2 answers
1.5k
1.5k views
rahul sharma 5 asked Jul 28, 2017
1,450 views
Discrete maths Predicate logic
( ∃x(P(x))→∃x(Q(x)) ) → ( ∃x(P(x)→Q(x)) )( ∃x(P(x)→Q(x)) ) → ( ∃x(P(x))→∃x(Q(x)) )Which of the above is valid and for not valid please give me counter example where LHS i...