Not logged in. · Lost password · Register

Member since Apr 2018
15 posts
Subject: Assignment 2
Hello Frederik,

I couldn't make the declaration for False.

Should I put it under the judgements after ded : prop ⟶ type , like fded : prop ⟶ type ?

Member since Oct 2019
38 posts
Hello Pelin,

we discussed this already before the lecture today, but just for the record (if anyone else is interested too):

You can put it after (or before) the declaration of ded. However, 'false' has a different type. It's a proposition.

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