MHB Is the Equation in a Circle Correct?

  • Thread starter Thread starter hossam killua
  • Start date Start date
  • Tags Tags
    Circle
AI Thread Summary
The equation for a circle is confirmed to be correct, with a focus on the properties of disjunction in logic. The discussion highlights that disjunction is idempotent, meaning $x \lor x \iff x$. There is a suggestion to utilize $\LaTeX$ for clearer mathematical representation. Additionally, a note is made about an image being cropped on the right, which may affect clarity. Overall, the conversation emphasizes the importance of proper formatting in mathematical discussions.
hossam killua
Messages
10
Reaction score
0


the equation in circle is right ??
 
Physics news on Phys.org
Your image seems to be cropped on the right.

For something like this, it would be better to use $\LaTeX$. All of the symbols you need are in the "Set Theory/Logic" section of our "Quick $\LaTeX$" element:

[table="width: 200, class: grid"]
[tr]
[td]Command[/td]
[td]Output[/td]
[/tr]
[tr]
[td]\lor[/td]
[td]$$\lor$$[/td]
[/tr]
[tr]
[td]\And[/td]
[td]$$\And$$[/td]
[/tr]
[tr]
[td]\lnot[/td]
[td]$$\lnot$$[/td]
[/tr]
[tr]
[td]\iff[/td]
[td]$$\iff$$[/td]
[/tr]
[/table]
 
hossam killua said:
the equation in circle is right ??
Yes. Disjunction is idempotent: $x\lor x\iff x$.
 

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
View full post »

Similar threads

A How Is the CDF Expressed for a Uniform Distribution on a Circle?
Replies
8
Views
2K
Correct statement related to common tangents of circles
Replies
6
Views
2K
Circle equation coefficient conditions
Replies
3
Views
2K
MHB Optimizing Fuel Usage on a Circular Route with Squares: A Mathematical Proof
Replies
20
Views
3K
Circle approximation of a wave pulse on a string or spring
Replies
29
Views
1K
Designing a Mechanism for Two Half Circles' Synchronous Rotation
Replies
1
Views
1K
I This would be a false statement, correct?
Replies
6
Views
1K
B Circle tangent to two lines and another circle
Replies
2
Views
2K
MHB What is the internal tangent circle problem for three given circles?
Replies
1
Views
1K
Why Is the Electric Potential the Same for Inner and Outer Semi-Circles?
Replies
7
Views
1K

Hot Threads

Recent Insights

Back
Top