Not logged in. · Lost password · Register

Member since Oct 2018
4 posts
Subject: Assignment 11
Hallo everyone,
In the Assignment 11 the functions I(=), I(P), I(<=), ... are not defined. Can we do the Assignment without it ?
Member since Oct 2016
806 posts
Yes, you can. "Prove" refers to what proof calculi do, i.e. show that they're valid, i.e. hold in *all* models - i.e. under all interpretation functions.
Member since Apr 2018
15 posts
Will there be a solution for the Assignment 11?

I'm asking for a friend ...
Member since Oct 2016
806 posts
Done :)
ModKrypt Tutor WS19/20
Member since Oct 2014
113 posts
In reply to post #3
As it was rather tedious to do that exercise 1 year ago, I somehow like to see my work being useful.
At… you can see my own solution, which should be correct.
It has way more details then the official solution and also has way more justifications, so you might want to see it...

(all those hours learning how to use LaTeX Busproofs, lplfitch, etc ...   :huh: )
"Debugging is like doing surgery by randomly squeezing stuff in a patient's body and going like 'lmao tell me when this guy stops breathing'." -- Orteil, Creator of Cookie-Clicker
Close Smaller – Larger + Reply to this post:
Verification code: VeriCode Please enter the word from the image into the text field below. (Type the letters only, lower case is okay.)
Smileys: :-) ;-) :-D :-p :blush: :cool: :rolleyes: :huh: :-/ <_< :-( :'( :#: :scared: 8-( :nuts: :-O
Special characters:
Go to forum
Datenschutz | Kontakt
Powered by the Unclassified NewsBoard software, 20150713-dev, © 2003-2011 by Yves Goergen