Questions regarding assignment 8

Disclaimer: Dieser Thread wurde aus dem alten Forum importiert. Daher werden eventuell nicht alle Formatierungen richtig angezeigt. Der ursprüngliche Thread beginnt im zweiten Post dieses Threads.

Questions regarding assignment 8
Hello,

I have a question regarding assignment 8. What exactly is meant by proving the formaulae semantically (1 iv))? I couldn’t find any example in the lecture slides. Can somebody explain how to do it/ tell me the corresponding lecture slides?

Thanks in advance!


Hello!

Semantically proving that a formula A is valid means proving using informal mathematical language that for all variable assignments phi the interpretation I_phi(A) = T (see slide 288). For an example, see the solution for 7.1.

Hope this helps,
Katja

1 „Gefällt mir“