Recent content by LauraSuh

Hello smart people! I was having some troubles proving this derived rule using Natural deduction: ¬(∃y.Q(y) ∧ T(y)) ------------------------ ∀x.Q(x) → ¬ T(x) I got stuck in the very first line, because of the "NOT". I can't do anything if I don't take it out of there... I know...

I see nothing wrong with it. What is your complaint exactly?

Thank you so much! You're like my super hero right now! =)

Hi, I'd like to know the log properties when they are the power of a constant. I've searched everywhere but I can't find it. the reason I want to know it is that, when solving a recursion tree problem, my teacher got an result of n^(log4 3) but I got 3^(log4 n). the base of the log haven't...