10/22/2020 Quantifiers by Julieta Mendez https://padlet.com/jmendez1234/whsq9d111anei41f en-us 2020-10-22 09:02:59 UTC 2020-10-23 20:50:41 UTC hello@padlet.com Translate to English: jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851746398 P(x): x plays the piano
A(x,y): x and y are acquaintances 
U: People in your city
∀x (P(x) V ∃y (P(y) Λ A(x,y)))

]]> 2020-10-22 09:04:50 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851746398 Translate to English: jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851746958 P(x): x plays the piano
A(y,z): x and y are acquaintances 
U: People in your city
 ∃x (P(x) V ∃y (ᆨP(y) Λ A(x,y)))

]]> 2020-10-22 09:05:06 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851746958 Translate the into predicate logic: jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851750035 Someone in the state drinks coffee often and knows someone who likes iced tea

]]> 2020-10-22 09:06:42 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851750035 Translate the into predicate logic: jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851750946 Teachers teach everyday and are friends with someone who teach everyday

]]> 2020-10-22 09:07:10 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851750946 Translate into a logical expression: jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851753214 There is a boy who has eaten at a McDonalds in all the states.

P(b, m): “b has ate McDonalds”
Q(m, s): “m is a McDonalds in s”
U of boys: all boys
U of McDonalds: all McDonald’s
U of states: all states]]> 2020-10-22 09:08:18 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851753214 Translate to English: jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851755569 P(b, m): “b has ate McDonalds”
  • Q(m, s): “m is a McDonalds in s”
  • U of boys: all boys
  • U of McDonalds: all McDonald’s
  • U of states: all states
Expression: ∃b∀s∃a (P(b,m) ^ Q(m,s))
]]> 2020-10-22 09:09:31 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851755569 Express the following in predicate logic: jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851756671 “Everyone knows someone”
“Someone hates everyone”
“Everyone hates someone”
“Everybody eats with someone”
“Everyone eats with themselves”

]]> 2020-10-22 09:10:06 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851756671 Negate the following: jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851763491 𝑥 (S(𝑥) → W(x)) 
x (D(x) → S(x)) 
∀xy ((D(x) V E(y)) → S(x)) 
x∀y (D(x) ∧ ¬S(y)) ]]> 2020-10-22 09:13:27 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851763491 Solve for the conclusion: jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851771520 a -> b
c -> -b
d v c]]> 2020-10-22 09:17:33 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851771520 Solve for the conclusion jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851774941 s v q
r -> s
-s v r]]> 2020-10-22 09:19:18 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851774941 Solve for the conclusion jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851775875 p -> q
r v s
-s v q

-s v q  premise
r v s premise
s v r com law
q v r resolution 
p -> q premise
-p v q by definition 
-p v r v q
 

]]> 2020-10-22 09:19:46 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851775875 Solve for the conclusion jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851776856 -b v c
b -> d
e v -d


B ->d.     Premise
-b v d.      By definition 
-b v c.      Premise
D v c.      Resolution 
E v -d.     Premise
-d v e.      Comm law
C v e. Resolution ]]> 2020-10-22 09:20:17 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851776856 Solve for the conclusion jmendez1234 https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851777613 -p ^ q
r v p
s -> t
-s v -r


-p ^q    Premise
-p         Simplification
Q
R v p    Premise
P v r     Com law

Q v r     Resolution 

 -s v -r     Premise
Q v -s       Resolution
S->t.       Premise
-s v t      Equivalence/ by definition 
Q v t.      Simplification 







]]> 2020-10-22 09:20:41 UTC https://padlet.com/jmendez1234/whsq9d111anei41f/wish/851777613