Help -Negate statement then reexpress as equiv positive statement

  • Thread starter Thread starter IntroAnalysis
  • Start date Start date
  • Tags Tags
    Positive
IntroAnalysis
Messages
58
Reaction score
0

Homework Statement


\foralla \inA\existsb\inB(a\inC \leftrightarrow b\inC).



Homework Equations





The Attempt at a Solution

\forall

This is equivalent to \existsa\inA\neg\existsb\inB(a\inC \leftrightarrowb\inC).

Homework Statement


 
Physics news on Phys.org
The first part of your solution appears correct however you still need to negate that which is in the parantheses. It may help to write out the logical operators in words to give you a better picture of the question. I came up with a solution, but I will wait to post till you give the rest of your problem a shot.
 

Thread 'Prove that the integral is equal to ##\pi^2/8##'

Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
View full post »

Similar threads

Useful negation of a statement
Replies
8
Views
2K
Conversion of statements to math
Replies
3
Views
2K
Show that two quantified statements are logically equivalent
Replies
6
Views
2K
Interpreting a statement in first order logic
Replies
3
Views
1K
Proving or Disproving a Statement in Set Notation
Replies
13
Views
1K
How to determine if a statement is true
Replies
4
Views
2K
How to Interpret the Basic Logic Problem with Predicate P(x,y,z)
Replies
2
Views
1K
MHB How Do We Find the Logical Negation of Statements?
Replies
6
Views
1K
Need help in negation of statements
Replies
1
Views
2K
Help i need answers to maximizing and minimizing problems
Replies
3
Views
2K

Hot Threads

Recent Insights

Back
Top