Math Is Fun Forum

  Discussion about math, puzzles, games and fun.   Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ -¹ ² ³ °

You are not logged in.

#3 Re: Help Me ! » Symbolic Logic Help!! » 2007-11-11 19:08:06

third premise is R=(triple bar) (C*P)

#4 Help Me ! » Symbolic Logic Help!! » 2007-11-11 19:06:59

philopillow
Replies: 5

I am stuck. I'm not sure how to solve this.
I can use both Conditional and Indirect Proofs.

~M>(RvC)   Pr.
(MvR)>(V*T)  Pr.
V=(triple bar)~(Pv(GvH)   therefore: P>C 


* is a dot
> is a horseshoe
= is triple bar


Does anyone have any ideas for this one?

(AvM)>H   Pr.
~(BvC)     Pr.
R=(C*P)   Pr
(~R=A)     Pr.           Therefore, ~(H>C)

Board footer

Powered by FluxBB