Math Is Fun Forum
You are not logged in.
- Topics: Active | Unanswered
Pages: 1
#1 2007-11-11 19:06:59
- philopillow
- Member
- Registered: 2007-11-11
- Posts: 1
Symbolic Logic Help!!
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)
Offline
#2 2007-11-11 19:08:06
- philopillow
- Member
- Registered: 2007-11-11
- Posts: 1
Re: Symbolic Logic Help!!
third premise is R=(triple bar) (C*P)
Offline
#3 2007-11-12 00:17:26
- JaneFairfax
- Member
- Registered: 2007-02-23
- Posts: 6,868
Re: Symbolic Logic Help!!
What does the dot mean? 
Offline
#4 2007-11-12 01:05:08
- philopillow
- Member
- Registered: 2007-11-11
- Posts: 1
Re: Symbolic Logic Help!!
it means conjunction
Offline
#5 2007-11-12 01:05:21
- philopillow
- Member
- Registered: 2007-11-11
- Posts: 1
Re: Symbolic Logic Help!!
does anyone know?
Offline
#6 2007-11-13 17:05:29
- John E. Franklin
- Member
- Registered: 2005-08-29
- Posts: 3,588
Re: Symbolic Logic Help!!
The following three premises cannot prove P>C because it is possible that M~R~VP~C, as well as the
possibility of ~MR~VP~C. Hence P can be true when C is false in some circumstances.
Premise#1: ~M>(RvC)
Premise#2: (MvR)>(V*T)
Premise#3: V=(triple bar)~(Pv(GvH)
therefore: P>C
igloo myrtilles fourmis
Offline
Pages: 1