I 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 'A variant of the Monty Hall problem'

There is a nice little variation of the problem. The host says, after you have chosen the door, that you can change your guess, but to sweeten the deal, he says you can choose the two other doors, if you wish. This proposition is a no brainer, however before you are quick enough to accept it, the host opens one of the two doors and it is empty. In this version you really want to change your pick, but at the same time ask yourself is the host impartial and does that change anything. The host...
View full post »

Similar threads

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