Sentential Logic

Memo_1

chapter 1 : Sentential Logic

Term

conclusion

premise

We have arrived at a conclusion from the assumption that some other statements, called premises are true.

• Example 1.1.1-3
  
  
  
  • i will go to work either tomorrow or today ( premise1 )
  • I’m going to stay home today. ( premise 2 )
  • Therefore, I will go to work tomorrow. (conclusion)
  
  
  If both premises are true, we can be sure that the conclusion is also true.
  

( this is a quite interesting phrase…)

This is the sense in which the conclusion is forced on us by the premises, and this is the standard we will use to judge the correctness of deductive reasoning.

We will say that an argument is valid if the premises cannot all(Mi–> marked by me ) be true without the conclusion being true as well.