Natural Deductions: Strategies to Reason Asymmetry

  • Thread starter kodachrome22
  • Start date
  • Tags
    Natural
In summary, the problem is to show that irreflexivity and transitivity imply asymmetry in a relation R. This can be done by imagining two points a and b and an arrow between them representing R. Assuming R is transitive, we can go from a to b then back to a, but because R is irreflexive, there can be no closed R curve from a to a. This shows that either R is not transitive or it is asymmetric, proving our initial statement. Strategies for reasoning through such deductions can include picturing the situation and considering the implications of the given rules.
  • #1
kodachrome22
1
0
I am having trouble with some homework on natural deductions. I just don't know how to approach the problems. For example, one problem is to show that irreflexivity and transitivity imply asymmetry. Any strategies on how to reason the deductions would be great (the rules are simple enough, knowing how to decide how to do the problem is where I have trouble).

Thanks, and apologies if this belongs in the HW forum. I only saw physics problems there so I thought I'd get a better response here. Thanks!
 
Physics news on Phys.org
  • #2
I like picturing these sorts of things.

So, imagine you have two points a and b, and an arrow between them which represents a relation R. Assume that R is irreflexive and transitive. Now, because R is transitive, we can go from a to b via R and then back from b to a via R, and this is equivalent to going from a to a via R. However, because R is irreflexive, there is no closed R curve from a to a. We've missed something.

In going from a to b via R and then from b to a via R, we're clearly assuming that R is also symmetric. So, it's possible that we've made two mistakes. Either R is not transitive, in which case not all "broken journeys" can be collapsed to a "shortcut", or R is asymmetric.

So we've killed two birds with one stone. An irreflexive symmetric relation must be intransitive, and an irreflexive transitive relation must be asymmetric.
 
  • #3


Natural Deductions is a powerful tool used in logic to prove the validity of arguments. However, it can be challenging to know how to approach certain problems. When dealing with asymmetry, there are a few strategies that can help guide your reasoning in Natural Deductions.

Firstly, it is important to understand the definitions of the terms involved in the problem. In this case, irreflexivity means that a relation cannot hold between an object and itself, while transitivity means that if a relation holds between two objects, and another relation holds between those two objects and a third object, then the first relation also holds between the first and third objects. Understanding these definitions will help you identify the key premises and conclusion of the argument.

Next, you can try to break down the problem into smaller steps. This can be done by identifying any sub-arguments or assumptions that need to be made in order to prove the main conclusion. By breaking down the problem into smaller steps, it can become more manageable and easier to approach.

Another strategy is to use proof by contradiction. This involves assuming the opposite of what you are trying to prove, and then showing that it leads to a contradiction. This can be a useful approach when dealing with asymmetry, as it allows you to rule out any other possible explanations for the relationship between the objects.

Additionally, it can be helpful to look for patterns or similarities in the premises and conclusion. This can give you an idea of which rules of Natural Deductions to apply in each step of the proof. For example, in this problem, the premises involve the relations of irreflexivity and transitivity, so you may want to look for rules that involve these types of relations.

Lastly, practice and familiarity with Natural Deductions will also help in reasoning asymmetry. As you work through more problems, you will become more comfortable with identifying key premises, making logical connections, and applying the rules correctly.

Overall, approaching problems in Natural Deductions requires a combination of understanding the definitions, breaking down the problem into smaller steps, using proof by contradiction, and looking for patterns and similarities. With practice and these strategies, you will become more confident in tackling problems involving asymmetry. Best of luck with your homework!
 

1. What is natural deduction?

Natural deduction is a logic system used to prove the validity of arguments and theorems. It is based on the idea that logical reasoning should follow natural patterns of thought and not rely on artificial rules.

2. What are some common strategies used in natural deduction?

Some common strategies used in natural deduction include the use of assumptions, conditional proofs, and indirect proofs. These strategies help to systematically break down complex arguments into simpler steps.

3. How does natural deduction differ from other logic systems?

Natural deduction differs from other logic systems, such as axiomatic deduction or truth tables, in that it relies on intuitive and natural forms of reasoning rather than formal rules or processes.

4. Can natural deduction be applied to all types of reasoning?

While natural deduction is a powerful tool for reasoning, it is limited in its ability to handle certain types of reasoning, such as probabilistic or modal reasoning. It is most effective for reasoning about deductive arguments and mathematical proofs.

5. Are there any potential drawbacks to using natural deduction?

One potential drawback of using natural deduction is that it can be time-consuming and requires a thorough understanding of logical principles. It may also not be suitable for handling complex arguments with a large number of premises or conclusions.

Similar threads

Replies
34
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
4
Views
1K
  • General Discussion
2
Replies
46
Views
3K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
2K
Replies
28
Views
3K
  • General Discussion
Replies
12
Views
1K
  • Set Theory, Logic, Probability, Statistics
Replies
3
Views
3K
  • Set Theory, Logic, Probability, Statistics
Replies
4
Views
1K
  • Introductory Physics Homework Help
Replies
5
Views
690
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
Back
Top