Formalise the fwlg argument by using the given predicates and then rewriting the argument as a numbered sequence of statements. Identify each...

Particularly struggling with #1, but uncertain for all of them. In #1 I can get to premise of 1. ∀

l. Formalise the fflflflwlflg argument by using the given predicates and thenrewriting the argument as a numbered sequence of statements. Identifyeach statement as either a premise, or a conclusion that follows accordingto a rule of inference from previous stat—fits. In that case, state therule of inference and refer by number to the previous statute that therule of inference used. [done hunt untetopee. Ramses 3'5 a lion. Ramses does not hunt Sylvester.Therefore, Sylvester is not an antelope. Predicates: H[x,y]=“ x hunts y“, L{3L)=“x is a lion“ and A{x]=“x is anantelope". The domain of discourse is all animals. 2. Prove that there can be no perfect square between ‘25 and 36, i.e. there is no integer n so that 25 «i n2 c: 35. Prove this by directly proving thenegation. Your proof must only use integers, inequalities and elementary logic. Youmay use that inequalities are preserved by adding a number on both sides,or by multiplying both sides by a positive number. You cannot use thesquare root function. Do not write a proof by contradiction. 3. Prove that for any positive integer u, there is an even positive integer i:so that 1 1 1 {—{—.n+2‘k—1 n =1. Prove by contraposition for arbitrary z 3% —2: if m is irrational, then so isI 1+2 '