Donate SIGN UP
Home > Arts & Literature > Construct natural deduction proofs for each of the following

Construct natural deduction proofs for each of the following

Avatar Image
maggiemaggie | 04:26 Fri 22nd Oct 2010 | Arts & Literature
8 Answers
118.2 p&(q&r) .'. q
118.4 .'. ¬(p&(q&¬p))
118.10 q .'.¬(¬p&¬q)
122.3* p " q, ¬p " r .'.¬q " r
122.7* p " q, ¬(p " r) .'.¬(q " r)
122.10 p " q, ¬q .'.¬p
prev ARTIST S BOWERS
  
next Prove informally, by employing correct definitions and principles of reasoning, that the
Gravatar

Answers

1 to 8 of 8rss feed

Best Answer

No best answer has yet been selected by maggiemaggie. Once a best answer has been selected, it will be shown here.

For more on marking an answer as the "Best Answer", please visit our FAQ.
Avatar Image berniecuddles
yer ok lol !!!!!
04:30 Fri 22nd Oct 2010
Avatar Image woofgang
why? to save you the effort?
05:02 Fri 22nd Oct 2010
Avatar Image squarebear
Ok, I've done that. What now?
08:02 Fri 22nd Oct 2010
Avatar Image flicrat
Mind your 'p's an 'q's you lot!
17:46 Fri 22nd Oct 2010
Avatar Image marval
Can I have that in English please?
17:47 Fri 22nd Oct 2010
Avatar Image boxtops
Is this homework?
17:47 Fri 22nd Oct 2010
Avatar Image jno
not in my home, boxtops, just hoovering and a bit of Mr Muscle here. I don't think Mr Muscle can manage 122.10 p " q, ¬q .'.¬p
20:53 Fri 22nd Oct 2010
Avatar Image factor-fiction
I'm not sure why this is in Arts and Literature.
Maybe this course isn't for you, maggiemaggie. What course is it?
10:58 Sat 23rd Oct 2010

1 to 8 of 8rss feed

Do you know the answer?

Construct natural deduction proofs for each of the following

Answer Question >>

Related Questions

Sorry, we can't find any related questions. Try using the search bar at the top of the page to search for some keywords, or choose a topic and submit your own question.