Consider the following axiom set, in which x's, y's, and on are the undefined terms: Axiom...

  

Transcribed Image Text:

Consider the following axiom set, in which x's, y's, and "on" are the undefined terms: Axiom 1. There exist exactly five x's. Axiom 2. Any two distinct x's have exactly one y on both of them. Axiom 3. Each y is on exactly two x's. Prove that there exists exactly four y's on each x . Hint: use proof by contradiction Consider the following axiom set, in which x's, y's, and "on" are the undefined terms: Axiom 1. There exist exactly five x's. Axiom 2. Any two distinct x's have exactly one y on both of them. Axiom 3. Each y is on exactly two x's. Prove that there exists exactly four y's on each x . Hint: use proof by contradiction

Answer rating: 100% (QA)

Lets prove by contradiction that there exist exactly four ys on each x Suppose the statement is not ... View the full answer