CS250 Study Guide - CS250 Study Guide *Disclaimer: This is...

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
CS250 Study Guide ***Disclaimer: This is a student created study guide that is designed to further your familiarity with these terms. They may not explicitly be on Exam 1, but knowing this information will be extremely helpful. Match the terms to their corresponding definition. Choose the best answer. Terms are only used once. Vocabulary Review 1. ___ Algorithm 2. ___ Proposition 3. ___ Unary Connective 4. ___ Binary Connectives 5. ___ A ^ B 6. ___ A v B 7. ___ A B 8. ___ A’ 9. ___ Antecedent 10. ___ Consequent 11. ___ Wff 12. ___ Main Connective 13. ___ Tautology 14. ___ Contradiction 15. ___ Hypotheses 16. ___ Conclusion 17. ___ Derivation Rules 18. ___ Equivalence Rules 19. ___ Inference Rules 20. ___ De Morgan’s law 21. ___ Implication Rule 22. ___ Modus Ponens 23. ___ Modus Tollens 24. ___ Universal Quantifier 25. ___ Existential Quantifier 26. ___ Predicate Definitions (Match to the vocabulary term) a) The symbol for the negation b) The last connective to be applied in a wff with a number of connectives
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 2

CS250 Study Guide - CS250 Study Guide *Disclaimer: This is...

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online