Not logged in. · Lost password · Register

Nora Go
Member since Oct 2014
16 posts
Subject: Deduction and Inference
+1 lu60ruhy
Are Deduction (⊢) and Inference (⊢?) the same thing? Because in the exam from 2016/17 in part 4 it is asked for Entailment and Inference, but in this situation I would have said Deduction instead of Inference. Inference for me means Equality and Tightness of Constraint networks. Maybe I got something wrong?
Jazzpirate
Member since Oct 2016
781 posts
+1 lu60ruhy
Context matters. In the context of formal logic, deduction and inference refer to the same thing. In the context of CSPs, inference is a different beast entirely.
Nora Go
Member since Oct 2014
16 posts
Ah! Thanks!
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