Question

Consider set of postulates: glebs&flobs. P1:Every gleb is a collection of flobs. P2:There exist at least 2 flobs. P3:If p & q are 2 flobs, then there exists one & only one gleb containing both p & q. P4:If L is a gleb, there exists a flob not in L. P5:If L is a gleb, & p is a flob not in L, then there exists one & only one gleb containing p & not containing any flob that is in L. Devise a model of these postulates to show that P3 can't be deduced from
remaining postulates of the set. Devise a model of these postulates to show that P5 can't be deduced from the remaining postulates of the set.

Answer 1

@amistre64

Answer 2

.... really? lol

Answer 3

i got a vague notion here, but i havent the stamina to see it thru ....

Answer 4

P1:Every set is a collection of elements

P2:There exist at least 2 elements.

P3:If p & q are elements,
then there exists one & only one set containing both p & q.

P4:If L is a set, there exists an element not in L.

P5:If L is a set, & p is not in L,
then there exists one & only one set containing p
& not containing any element that is in L.