Donate SIGN UP

maggiemaggie

1 to 2 of 2

Avatar Image
maggiemaggie

Prove informally, by employing correct definitions and principles of reasoning, that the

Prove informally, by employing correct definitions and principles of reasoning, that the following are true. 1/ Every formula implies itself. (That is, A implies A . Hint: For this one you will need...
05:06 Fri 22nd Oct 20102 answers, last by squarebear 08:01 Fri 22nd Oct 2010
Avatar Image
maggiemaggie

Construct natural deduction proofs for each of the following

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)...
04:26 Fri 22nd Oct 20108 answers, last by factor30 10:58 Sat 23rd Oct 2010

1 to 2 of 2