MHB Working with decidable predicates

  • Thread starter Thread starter HashTab
  • Start date Start date
HashTab
Messages
3
Reaction score
0
I am currently reading this article

Here

I was wondering how to calculate the contents of it
Mainly the first equation equaling 1 or 0
 
Physics news on Phys.org
This article does not seem to have numbered equations, and the first formula on its own line is not an equation.
 

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 '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 »

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 Predicates and Models ... Goldrei
Replies
6
Views
2K
MHB Predicate logic with multiple quantifiers
Replies
2
Views
2K
MHB Solve Logic Puzzle: Predicates & True/False Explained
Replies
1
Views
2K
MHB Exponential distribution question
Replies
1
Views
2K
MHB Properties of the Ordinals ....
Replies
1
Views
1K
MHB Can Predicate Logic Capture Complex Human Reasoning?
Replies
3
Views
2K
MHB Well Orders and Total Orders .... Searcoid Definition 1.3.10 ....
Replies
5
Views
2K
How can I improve my understanding of predicate logic?
Replies
5
Views
4K
MHB What are the properties of partial order relations according to J&W's book?
Replies
1
Views
2K
MathHelpBoards.com merges with PF
Replies
42
Views
5K