1. Engineering
  2. Computer Science
  3. for a and b prove by natural deduction a p...

Question: for a and b prove by natural deduction a p...

Question details

For A and B Prove by natural deduction:

A) (p & q) V (p & r) is the same as (q V r)

B)  ∀x ¬P(x) V Q(x) is the same as ∀x P(x) → Q(x)

C) Show that you can select two out of the three numbers such that their product is nonnegative: 203^ 280 - 281^ 183 , 442^376 - 445 ^370 , 388^ 482 - 381 ^485

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution