Recent content by Kr1s

Oh, ok. That's pretty awesome, the computer windows program. I wish you succes with it. Thank you for trying to help me. ;-)

Well when I saw your solution I inmediatly thought that you were using an equivalent to quantifier logic. Results are the same though, so It may be the same answer. First one valid and second one invalid. What do you think?

First at all, thank you for your answer. Now, I have a few questions because looks like I use another symbols . (1) a=a (axiom) This means the Universal Specification Ax, where x is a, right? (Ey) a=y (E+) And this is the product of the US. (Ax) (Ey) x=y (A+) This is the result adding the...

Hi people, I'm trying to solve a logic problem but I'm having some issues with a couple of them. I appreciate if you can help me with it. 1.- (∀x) (∃y) (x=y) 2.- (∃x) P(x)→(∀y)P(y) Demostrate if valid or invalid each one. Thank you!