10/13/2020 by Julieta Mendez https://padlet.com/jmendez1234/d3mt61d43o8i2lzu en-us 2020-10-13 23:12:23 UTC 2020-10-15 20:44:52 UTC hello@padlet.com A universally quantified proposition is equivalent to a ________ of ________ without quantifiers. jmendez1234 https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826871616
DNF]]> 2020-10-13 23:13:47 UTC https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826871616 An existentially quantified proposition is equivalent to a ________ of ________ without quantifiers. jmendez1234 https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826871757
CNF]]> 2020-10-13 23:13:54 UTC https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826871757 jmendez1234 https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826886642 Let A (s, c) denote the statement “Student s attends class c”, where s represents a student and c represents a class. Suppose that the student Alecia attends Calculus and Physics. 
What are the truth values of the following:
  • A (Alecia, Physics) and A (Alecia, Calculus 2)
  • A (Alecia, Calculus 3) or A (Alecia Physics)
]]> 2020-10-13 23:23:52 UTC https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826886642 jmendez1234 https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826888304 Create your own:
Let  ______  denote the statement “__________________ ”, where __ represents a ______ and __ represents a ______ . Suppose that __________________ . 
The solutions should have the following truth values:
- T
- F

]]> 2020-10-13 23:25:00 UTC https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826888304 jmendez1234 https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826888516 Create propositions for the following and translate to predicate logic:
“All students are tired.”
“Many students drink energy drinks.”
Hence
“Many students are tired and drink energy drinks.”




]]> 2020-10-13 23:25:11 UTC https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826888516 An assertion involving predicates and quantifiers is valid if it is __true__ for all domains and for some propositional functions that can be substituted for the predicates in the assertion. jmendez1234 https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826888783 2020-10-13 23:25:24 UTC https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826888783 An assertion involving predicates is ___satisfiable_____ if it is true for some domains and for some propositional functions that can be substituted for the predicates in the assertion. Otherwise, it is ____unsatisfiable______. jmendez1234 https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826889097 2020-10-13 23:25:37 UTC https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826889097 TIPS FOR SOLVING FOR VALIDITY & SATISFIABILITY: jmendez1234 https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826929506 Check to see if it is unsatisfiable first

If all]]> 2020-10-13 23:52:19 UTC https://padlet.com/jmendez1234/d3mt61d43o8i2lzu/wish/826929506