476 views

1 Answer

0 votes
0 votes

1) NOT ( ∀x(F(x)) ) OR ∃x(NOT (P(x)))
                       OR
2) ∃x( NOT(F(x)) ) OR NOT ( ∀x(P(x)) )

                       OR 

3) NOT ( ∀x(F(x)) ) OR NOT ( ∀x(P(x)) )

                       OR 

4) ∃x( NOT(F(x)) ) OR ∃x(NOT (P(x)))

Related questions

2 votes
2 votes
2 answers
2
kd..... asked Jul 12, 2018
511 views
I am unable to prove following equations without using truth table1) p - (q v r) = (p->q) V (p->r) 2) ~(p <- q) = p <- ~q
1 votes
1 votes
3 answers
3
Vicky rix asked Mar 7, 2017
888 views
Which of the following statements are ALWAYS TRUE ?A) ∀x [P(x)] - ∃x [P(x)]B) ∃x [P(x)] - ∀x [P(x)]C) Both A) and B) and so both are equivalent D) Neither A) no...
0 votes
0 votes
2 answers
4