Undergrad Need help solving this Existence Algorithm for truth

  • Thread starter Thread starter ollieha
  • Start date Start date
Click For Summary
The discussion revolves around a complex equation involving existential quantifiers and logical operations. The user is uncertain about the solvability of the expression (x ¬ | ∃x) and its implications regarding the existence of x independent of its reference. The equation presented is (x ¬ | ∃x) = ∅ ⊕ {∅}) ⊕ ∅. The user expresses confusion about whether there are scenarios where x can exist independently. The thread is currently closed for mentor review.
ollieha
Messages
1
Reaction score
0
TL;DR
Need help solving algorithm for truth
I have an equation that I need some serious help with. I’m using a “not such that”, and I don’t know if the critical component (x ¬ | ∃x) is solvable!

Well here it is:

(x ¬ | ∃x) = ∅ ⊕ {∅}) ⊕ ∅

So if x exists independently from the reference of x, the first bit is true, but is there ever a time when that is the case?

So confused-
Oliver
 
Physics news on Phys.org
Thread is closed temporarily for Mentor review...
 

Thread 'Two interesting number theory tricks'

First trick I learned this one a long time ago and have used it to entertain and amuse young kids. Ask your friend to write down a three-digit number without showing it to you. Then ask him or her to rearrange the digits to form a new three-digit number. After that, write whichever is the larger number above the other number, and then subtract the smaller from the larger, making sure that you don't see any of the numbers. Then ask the young "victim" to tell you any two of the digits of the...
View full post »

Similar threads

Undergrad On the meaning of logical implication within specific context/models
  • · Replies 22 ·
Replies
22
Views
3K
Undergrad Help us calculate the likelihood an intelligent alien species exists!
  • · Replies 4 ·
Replies
4
Views
2K
High School Empty domains and the vacuous truth
  • · Replies 10 ·
Replies
10
Views
4K
Undergrad Probability of White Ball in Box of 120 Balls: Solved!
  • · Replies 3 ·
Replies
3
Views
3K
Undergrad The truth value of ##P(x)## → ##Q(x)##
  • · Replies 16 ·
Replies
16
Views
3K
Undergrad Confused about error propagation
  • · Replies 22 ·
Replies
22
Views
2K
Undergrad Proof of the Halting Problem's Unsolvability
  • · Replies 16 ·
Replies
16
Views
3K
Undergrad How to interpret this definition of a subset?
  • · Replies 5 ·
Replies
5
Views
2K
Undergrad Thinking about equality of infinite sets
  • · Replies 5 ·
Replies
5
Views
2K
Undergrad Cardinality of Theorems vs True Sentences in a Theory
  • · Replies 7 ·
Replies
7
Views
2K