Help in understanding logical statements

  • Thread starter Ryan Dade
  • Start date
  • #1
2
0
In lieu of taking an extra course I signed up for a class without fulfilling a prerequisite. Now I'm trying to teach myself the stuff I should have learned and am having a hard time with two problems. If anyone can help explain how to get to the solution I would appreciate it.

1.) Show that the following holds true. Derive ([tex]\forall[/tex]x)(If ~Mx thenMx) with the assumption ([tex]\forall[/tex]x)(Mx)

2.) Show that the following is valid.
([tex]\exists[/tex]x) (If Cx then Ch)
([tex]\exists[/tex]x) (Cx if and only if Ch)
 

Answers and Replies

  • #2
CompuChip
Science Advisor
Homework Helper
4,302
47
Can you clarify on notation? For if I take the ~ symbol to mean "not" then the first question seems to be of the form [itex]A \rightarrow \neg A[/itex] which is a contradiction (if it's raining, it's not raining). Or perhaps you meant: [itex]\forall x(\neg\neg Mx \rightarrow Mx)[/itex] ?

For the second, note that "Cx if and only if Ch" is shorthand for "(If Cx then Ch) and (if Ch then Cx)" and that one of them is already given. The other side is almost trivial: what is it you still need to prove?
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
41,833
964
CompuChip, notice the "with the assumption ([itex]\forall[/itex]x)(Mx). The first one is really "if, for all x, Mx is true and, for all x, Mx is false, then Mx is true". Since the hypothesis is false, the statement is trivially true.
 
  • #4
2
0
I'm trying to figure out how to show it. For example

Derive ([tex]\forall[/tex]z)Kzz

1. ([tex]\forall[/tex]x)Kxx Assumption
2. Kcc 1[tex]\forall[/tex]E
3. ([tex]\forall[/tex]z)Kzz 2[tex]\forall[/tex]I

But I do not have a strong background in Predicate Logic so some problems are more difficult for me to get a full understanding of
 

Related Threads on Help in understanding logical statements

Replies
2
Views
4K
  • Last Post
Replies
4
Views
2K
Replies
2
Views
1K
Replies
5
Views
975
Replies
5
Views
1K
  • Last Post
Replies
5
Views
3K
Replies
1
Views
683
Replies
12
Views
903
Replies
2
Views
1K
  • Last Post
Replies
4
Views
2K
Top