Available under Creative Commons-ShareAlike 4.0 International License. Download for free at http://cnx.org/contents/383d4b87-2d7b-454e-99fe-2eaa43eae8ff@20.20
Seeing how we can express some concepts as some formulas, and how some formulas are tautologies while others might be true or false depending on the truth assignment, we come to a question: how can we determine when a formula is a tautology? How can we tell if two different formulas are equivalent for all truth assignments? We'll look at three different methods of answering these questions:
- reasoning with truth tables (Reasoning with truth tables),
- reasoning with equivalences (Propositional equivalences), and
- reasoning with inference rules (Propositional inference rules).
- 瀏覽次數：1574
