Logic in Computer Science - Liacs

What is Logic?
Logic from the Greek λογικη
Logic a - Spring 2011
Slide 2
If it was so, it might be,
and if it were so, it would be;
but as it isn’t, it ain’t.
That’s logic!
Lewis Carol – via Tweedledee in
Through the looking glass
The tool for distinguishing between the true and the false (Averroes).
The science of the most general laws of truth (Gottlob Frege)
The study of the formal principles of reasoning (Webster dictionary)
The analysis and appraisal of arguments (Wikipedia)
1/22/2013
2