MHB Write this statement using the logical symbols

  • Thread starter Thread starter WannaBe
  • Start date Start date
  • Tags Tags
    Symbols
Click For Summary
The discussion centers on expressing the statement "every integer is a product of two integers" using logical symbols. A proposed solution is presented as "∀ n,o,p E Z, n = o*p E Z," which translates to stating that for all integers n, o, and p, n equals the product of o and p. Participants confirm that this formulation correctly captures the essence of the statement, using specific integer examples to illustrate its validity. The conversation emphasizes the importance of ensuring clarity in logical expressions. Overall, the proposed solution is deemed correct in representing the original statement.
WannaBe
Messages
11
Reaction score
0
every integer is a product of two integers.

My Solution:

∀ n,o,p E Z, n = o*p E Z

Is this correct?
 
Physics news on Phys.org
WannaBe said:
every integer is a product of two integers.

My Solution:

∀ n,o,p E Z, n = o*p E Z

Is this correct?

Hi WannaBe, welcome to MHB! :)

Let's see...

Your solution reads in English:
for all integers n, o, p holds that n is equal to o times p, which is an integer.​

Suppose we pick n=2, o=2, p=2, which satisfies the condition that they are integers.
Can we say that n = o * p?
 

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

MHB Writing a statement into symbolic logic
Replies
2
Views
2K
I On the meaning of logical implication within specific context/models
Replies
22
Views
3K
MHB Converting statements and logic
Replies
7
Views
2K
MHB Predicates and Quanitifiers - Can't understand Question
Replies
3
Views
2K
MHB Writing a statement symbolically
Replies
1
Views
1K
Symbolizing Quantified Statements in Logic
Replies
4
Views
2K
MHB Probability to get the correct message
Replies
15
Views
2K
MHB Request to Solve Symbolic Logic Questions Using Strengthened Conditional Proof
Replies
1
Views
2K
I [(Linear) Temporal Logic] Are the given sentences consistent or not?
Replies
8
Views
2K
MHB Minimum Degree of a Random Graph (Probabilistic Method)
Replies
1
Views
2K