Consider the following axiom system in which student, committee and “on” are the undefined terms. Axiom 1. There exists exactly four students. Axiom 2. Any two distinct student have exactly one committee on both

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter1: Fundamentals
Section1.1: Sets
Problem 25E: In Exercise 14-35, prove each statement. If AB, then ACBC.
icon
Related questions
Question

Consider the following axiom system in which student, committee and “on” are the undefined terms.

Axiom 1. There exists exactly four students.

Axiom 2. Any two distinct student have exactly one committee on both of them.

Axiom 3. Each committee is on exactly two students.

Test the independence of the axiom system

Expert Solution
steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Algebra: Structure And Method, Book 1
Algebra: Structure And Method, Book 1
Algebra
ISBN:
9780395977224
Author:
Richard G. Brown, Mary P. Dolciani, Robert H. Sorgenfrey, William L. Cole
Publisher:
McDougal Littell