Discrete Math: Is R Necessary for Q?

Click For Summary

Homework Help Overview

The discussion revolves around the interpretation of logical statements in discrete mathematics, specifically concerning necessary conditions in software release statements. Participants are analyzing the relationship between two propositions regarding router support and software installation.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants are exploring the logical implications of statements regarding software necessity for router functionality. There is a focus on whether the interpretation of necessary conditions is accurate, with some questioning the assumptions made about the relationship between the software release and router support.

Discussion Status

Multiple interpretations of the logical statements are being discussed, with participants providing differing views on the necessity of conditions. Some guidance has been offered regarding the correct interpretation of necessary conditions, but there is no explicit consensus on the matter.

Contextual Notes

Participants are navigating the nuances of logical implications and the language used in software release statements, which may lead to confusion regarding the necessary conditions for router support.

Shackleford
Messages
1,649
Reaction score
2
"For the router to support the new address space it is necessary that the latest software release be installed."

I said

Q: The latest software released be installed
R: The router to support the new address space.

I interpreted this as Q is necessary for R, therefore R => Q.

The professor has

Let Q be The router supports the new address space.
Let R be The latest software release is installed.

R => Q

Am I interpreting the sentence incorrectly?
 
Physics news on Phys.org
Yeah, I'm afraid so. If I read that in a software release statement I might think the latest software release would support the new address space. But it doesn't really say that. It just says that an older release WILL NOT support the new address space. It doesn't really promise that the new one will. Nice marketing ploy.
 
Dick said:
Yeah, I'm afraid so. If I read that in a software release statement I might think the latest software release would support the new address space. But it doesn't really say that. It just says that an older release WILL NOT support the new address space. It doesn't really promise that the new one will. Nice marketing ploy.

It's saying "that the latest software release be installed" is necessary "for the router to support the new address space."

"a necessary condition for p is q"

"q is necessary for p"

P => Q
 
Shackleford said:
It's saying "that the latest software release be installed" is necessary "for the router to support the new address space."

"a necessary condition for p is q"

"q is necessary for p"

P => Q

No, if q is necessary for p then p->q.
 
Dick said:
No, if q is necessary for p then p->q.

That's what I just typed.

P => Q
 
Shackleford said:
That's what I just typed.

P => Q

Sure, sorry. Wow, that was fast.
 

Similar threads

Discrete math - simple formalism question
  • · Replies 3 ·
Replies
3
Views
2K
[Discrete] Prove that |nZ| = |Z| for any postive integer n
  • · Replies 1 ·
Replies
1
Views
2K
MHB B=Q^TAQ has a LU decomposition
  • · Replies 12 ·
Replies
12
Views
2K
Graduate Understanding Barandes' microscopic theory of causality
  • · Replies 456 ·
16
Replies
456
Views
27K
Other What are some sources of recommendations for Math books?
  • · Replies 1 ·
Replies
1
Views
2K
Graduate Using AI to evaluate white papers?
  • · Replies 42 ·
2
Replies
42
Views
3K
Discrete Math Proof: Necessary Condition for Divisibility by 6
  • · Replies 3 ·
Replies
3
Views
4K
Group of invertible elements of subring of C.
  • · Replies 5 ·
Replies
5
Views
2K
Discrete Math Exam Proofs: Senioritis & Graduation
  • · Replies 3 ·
Replies
3
Views
2K
Analysis: No strictly increasing fn such that f(Q)=R
  • · Replies 1 ·
Replies
1
Views
2K