11. Consider the following axiomatic system. • Axiom 1: Every ant has at least two paths. • Axiom 2: Every path has at l
Posted: Thu May 12, 2022 6:53 am
11. Consider the following axiomatic system. • Axiom 1: Every ant has at least two paths. • Axiom 2: Every path has at least three ants. • Axiom 3: There exists at least one ant. • Axiom 4: No path shares more than two ants with any other path. (a) (6 points) Find two non-isomorphic models for this axiomatic system. (b) (7 points) Prove or Disprove: There are at least three paths.