I Need help solving this Existence Algorithm for truth

  • I
  • 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 'Please Explain (actually explain) The Monty Hall Problem'

Hello, I'm joining this forum to ask two questions which have nagged me for some time. They both are presumed obvious, yet don't make sense to me. Nobody will explain their positions, which is...uh...aka science. I also have a thread for the other question. But this one involves probability, known as the Monty Hall Problem. Please see any number of YouTube videos on this for an explanation, I'll leave it to them to explain it. I question the predicate of all those who answer this...
View full post »

Thread 'Value of intuitionistic logic'

I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
View full post »

Similar threads

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