People who are studying CS: how often do you use sentential logic

>>7976142
I have used boole algebra to design electronic circuits (Compter Organization and Computer Architecture)

However, I never used propositional calculus directly, I think it is more of a "mathematical thinking" kind of subject.

>>7976756
Besides that, you will use propositional calculus if you are going to program in Prolog.

>>7976142

I've been coding apps for five years and never had to use anything more complicated than a tridimensional array.

>>7976765
So I recommend you study something else.

>>7976765
>muh webdev

>>7976142
It's used in AI the most.

I've seen inference rules used both for defining the type and value of expressions in a programming language. I think Epigram actually uses inference rules in the form of stuff under/over a bar for giving type signatures.

>>7976793
Prolog uses propositional logic as a programming language. Not terribly useful for most applications though.

>>7976802
Yes, I know prolog for being used in AI, I don't know if there are other uses

>>7976142
It's nice to know something about formal logic when you want to prove certain properties of algorithms. Which of course is relevant for every field of CS.

>>7976802
I mean when formally defining a language, not as actual part of the language.

>>7976844
I never had to use propositional logic to formally define a language; guess there's another way that I wasn't taught.

>>7976854
Mainly I see it used in typing rules and defining semantics