For b):

Assuming you cannot have an empty domain (otherwise, all sentences would be vacuously true, and thus true in a finite domain after all), you need at least one object. This object needs to relate to something, but that something cannot be itself, so you need a second object b. b needs to relate to something as well, but that cannot be b itself, and also not a, otherwise by transitivity b relates to b after all. So, b needs to relate to an object c. Etc.

And to make that 'Etc.' a little more hard: Note that any model can never have a cycle of aRb, bRc, cRd, ... yRz, zRa, for once you have such a cycle, then by transitivity, all opjects in that cycle end up relating to each other, including themselves, thus contradicting irreflexivity. But if there is no cycle in your structure, then it is possible to 'line' up all objects from 'left' to 'right', such that any R relation goes from 'left' to 'right' as well. But with a finite number of objects, that means that you end up with a 'rightmost' element ... which therefore does not relate to anything, and that contradicts the ∀x∃yRxy

So, you can indeed not have any finite model

For c) No, you can't just negate the statement to force a finite model. We showed that in order to satisfy the sentences, we need an infinite domain, but all that that means is that in a finite domain, the negation of the statement is indeed true. However, that does not rule out having infinite domains where the negation is *also* true. Indeed, it is easy to create an infinite model of the negation: just have infinitely many objects, and have them all relate to each other (i.e. define R to be reflexive)

Thank you. For b) in my proof thus far, I've gotten to the part where we must assume a third element, a2, since two elements will violate statement 1 (ie, ∀x¬Rxx). Now to the "hard" part. I understand the "cycle" thing in a kind of abstract way, but I don't know how to put this down in a proof. How can I show that for any elements a0...an, this formula eventually produces a cycle. – vundabar – 2018-06-01T21:54:20.927

@vundabar well, if you don't have a cycle, then you can line up all objects with relations depicted as arrows going from left to right and then the rightmost one has no outgoing arrow ... which contradicts AxEy xRy ... so in order for Ax Ey xRy to be true, you must have a cycle, but now of course you have a problem with transitivity and irreflexivity. I think that's proof enough .... – Bram28 – 2018-06-01T22:00:25.997

Unfortunately, it seems that one of the drawbacks of not knowing how to proof very well is not knowing when I've done enough! Could I also say something like the following: as per statement 3, since all pairs in the domain have a transitive relation, then any structure allowing b>a allows the relation R(a, b) and R(b, a), producing R(a, a), in violation of statement 1. To be clearer, what I'm trying to do is show in a more concrete way what it is that produces these cycles. – vundabar – 2018-06-01T22:26:49.730

@vundabar It is not true that for all pairs you have Rab and Rba ... you have that

ifRab and Rbc,thenRac. But if you have a cycle of, say, Rab, Rbc, Rcs, and Rda, then by that transitivity, you have Rac because of Rab and Rbc, and since you also have Rcd, by transitivity again you have Rad, and since you have Rda, that gives Raa. So yes, cycle +Transitivyty -> reflexivity – Bram28 – 2018-06-02T00:24:27.023