Logikövningar, tillfälle 8

1 Avgör ifall nedanstående satser är sanna eller falska i tolkningen (L2 -

B
strukturen) . Motivera kort ditt svar.

B s domän (DB ): {Jan, Greta, Fido, Kim, Tony}

|g|B = Greta

|f |B = Fido

|t|B = Tony

|M |B = {Jan, Greta, Kim, Tony}

|F |B = {<Greta, Jan>, <Jan, Tony>, <Kim, Tony>}

1. ∃x(F xf )

2. ∀x(¬F xf )
3. ∃x(F gx ∧ F xt)
4. ∀x∀y(F xy ↔ F yx)

5. ∃x∀y(F xy ∨ ¬M y)
6. ∀x(¬M x → ¬∃yF xy)
7. ∀x∃y(M x → F xy ∨ F yx)

2 Halbach (Logikövningar_Halbach.pdf )

Övning 5.2

Att göra hemma

Fritz (Logikövningar_Fritz.pdf ), övningar 5.1-5.3. (Dessa kan vara ganska svåra.)