Recent content by powp

Thanks for you help. When I saw absolute theorem in the annotation I thought it be defined in the notes. But I searched and read and could not find it. Thanks

I tried to upload them but it is two large. Think you can get the notes here. http://www.cs.yorku.ca/~gt/papers/1090-notes-2005-I.pdf Does order of operations matter when proving?? We can remove barkets based on the rules of which connectives have a higher priority. I cannot find...

no I am not leaving out grouping symbols. This is how this is in our text/course notes. as for what true ≡ A mean. Offically I do not know. They want us to learn the rules before we learn what True and False mean. I believe A would evalute to equal true. So so lost. Thanks

Thanks for you response. What I have is this example that show the following |- true ≡ A ≡ A (1) true ≡ false ≡ false <axiom> (2) false ≡ false ≡ A ≡ A <absolute theorem> (3) true ≡ A ≡ A <Trans + (1, 2)> My question is where does line 2 come from? Looks like it is coming from a...

Hello Does anybody know what the Absolute Theorem is in logic?? My text box uses it in proofs but I cannot find it anywhere else. Thanks P

Hello is it possible to prove that A,B |- A = B where = is the triple bar? How do you connect the two?? Thanks P

Hello All I am trying to figure out how to determine if there are two, one, zero, or infinitely many roots for given formula ax^2 + bx + c. Are there any easy ways to determine this without having to use the quadratic formula? Thanks P

Thanks I will check out the links :smile:

Hello Everybody I just started taking a intro to logic for computer science and was wondering if anyone knows any good online resources. My textbook is not the best and lacks problems and the problems there are no solutions or answers. Thanks P

anybody with some guidence?

f' is (x)y = \int_x^0 \frac{-1-2t}{(1 + t + t^2)^2} f'' would then be y = \int_x^0 \frac{-1 + 2t + 2t^2}{(1 + t + t^2)^4} dt is this correct?? How do I solve an inequality that is this complex(it is complex to me)?? I am really not sure about this.

I believe a function f should be concave upward when f''(c) > 0. Am I correct. Don't have my textbook on me.

Hello How do I do the following Find the interval on which the curve y = \int_x^0 \frac{1}{1 + t + t^2} dt is concave upward. any help would be great. P Just in case Latex does not show up x Large S 1/1(1 + t + t^2) dt 0

Thanks for the reply u^2 = 1 - x 2u * du = -1 * dx -2u * du = dx x = 1 - u^2 but where do I go from here.

Hello All I am having problem with solving integrals by subsitution. I have the following problem. Can anybody help? (large S) X^2 /(SQRT(1-X)) DX My first and only thought was to subsitute 1 - x with U but that gave me an answer not ever close. Does anybody have any tips...