Creating theorems from the given axioms

  • MHB
  • Thread starter dezzi1
  • Start date
  • Tags
    Axioms
In summary, the conversation discusses the creation and proof of three theorems based on four given axioms. The first theorem states that there are at least two teams that play a game, while the second theorem states that if there are exactly four teams, then there are at most eight games. The third theorem has not yet been created or proven, but assistance is being sought.
  • #1
dezzi1
1
0
Given the following axioms, create 3 theorems.

Axiom 1: Each game is played by two distinct teams.
Axiom 2: There are at least four teams.
Axiom 3: At least six games are played.
Axiom 4: Each team plays at most four games.

I have already proven each axioms independence.

These are the following theorems I have:
1. There are at least 2 teams that play a game
2. If there are exactly 4 teams then there at most 8 games

I have completely proven theorem 1. I just need help proving theorem 2 and creating/proving a third theorem.

Any help will be greatly appreciated!
 
Physics news on Phys.org
  • #2
Hello and welcome to MHB, dezzi! :D

We ask that our users show their progress (work thus far or thoughts on how to begin) when posting questions. This way our helpers can see where you are stuck or may be going astray and will be able to post the best help possible without potentially making a suggestion which you have already tried, which would waste your time and that of the helper.

Can you post what you have done so far?
 

FAQ: Creating theorems from the given axioms

How do you create theorems from the given axioms?

To create theorems from given axioms, you must use logical reasoning and deduction. This involves examining the axioms and their relationships, and using rules of inference to derive new statements, known as theorems.

What are the key principles for creating theorems from axioms?

The key principles for creating theorems from axioms include understanding the logical structure of the axioms, using valid rules of inference, and making sure that the theorems are logically consistent with the axioms.

Can any theorem be derived from a set of axioms?

No, not all theorems can be derived from a set of axioms. The axioms must contain enough information and be logically consistent in order for theorems to be derived from them. If the axioms are too limited or contradictory, certain theorems may not be able to be derived.

How do you know if a theorem is valid?

A theorem is considered valid if it can be logically derived from the given axioms using valid rules of inference. This means that the theorem is a true statement based on the axioms and logical reasoning.

Can a theorem be proven wrong?

No, a theorem cannot be proven wrong if it is derived from valid axioms and logical reasoning. However, it is possible for the axioms themselves to be proven wrong or for new information to be discovered that renders the theorem no longer applicable.

Similar threads

MHB Proving Theorem 2: At Least 2 Games Played
Replies
3
Views
2K
MHB Creating theorems for an axiomatic system
Replies
1
Views
2K
MHB Justifying Independence of Axioms 1-4
Replies
1
Views
2K
MHB Proving Independence of Axioms in Game Theory: A Case Study
Replies
5
Views
4K
MHB Axioms of Set Theory: Separation Axiom and Garling Theorem 1.2.2 .... ....
Replies
1
Views
2K
I Set Theory: Separation Axiom and Garling's Theorem 1.2.2
Replies
1
Views
2K
I Is an algorithm for a proof required to halt?
Replies
3
Views
2K
B Is everything in math either an axiom or a theorem?
3
Replies
72
Views
6K
MHB Axioms of Set Theory .... and the Union of Two Sets ....
Replies
2
Views
2K
MHB Coming up with Theorems and proving them
Replies
7
Views
11K

Hot Threads

Recent Insights

Back
Top