Write this statement using the logical symbols

  • Context: MHB 
  • Thread starter Thread starter WannaBe
  • Start date Start date
  • Tags Tags
    Symbols
Click For Summary
SUMMARY

The discussion centers on the logical representation of the statement "every integer is a product of two integers." The proposed solution, ∀ n,o,p ∈ Z, n = o * p ∈ Z, correctly conveys that for all integers n, o, and p, n can be expressed as the product of o and p. The example provided, where n=2, o=2, and p=2, demonstrates the validity of this representation, affirming that the statement holds true for specific integers.

PREREQUISITES
  • Understanding of first-order logic notation
  • Familiarity with integer properties in mathematics
  • Knowledge of mathematical symbols and their meanings
  • Basic comprehension of logical quantifiers (∀, ∃)
NEXT STEPS
  • Study first-order logic and its applications in mathematics
  • Explore integer factorization and its implications in number theory
  • Learn about logical quantifiers and their usage in formal proofs
  • Investigate the properties of integers and their relationships
USEFUL FOR

Mathematicians, computer scientists, students studying logic and number theory, and anyone interested in formal mathematical proofs.

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?
 

Similar threads

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