Απο το wikipedia, για να γίνει λίγο πιο σαφές
A necessary condition of a statement must be satisfied for the statement to be true. Formally, a statement P is a necessary condition of a statement Q if Q implies P.
Αναγκαία (μονο αν) συνθήκη P για το Q, είναι αν το Q συνεπάγεται P ( Q=>P ) Δηλαδή στην περίπτωση μας
Σf=-Δx => Το σώμα μάζας m, κάνει Γ.Α.Τ σταθεράς Δ.
A sufficient condition is one that, if satisfied, assures the statement's truth. Formally, a statement P is a sufficient condition of a statement Q if P implies Q
Ικανή (επαρκή, αν) P για Q, όταν P=>Q
Δηλαδή στην περίπτωση μας
Το σώμα κάνει Γ.Α.Τ => Σf = -Δx
Γενικά, λίγο πιο "μαθηματικά", αν εκφράσουμε τις συνθήκες P και Q (πχ P: Το σώμα κάνει Γ.Α.Τ και Q: Σf=-Δx)
τότε στην περίπτωση που ξέρεις αν ισχύει η P (το σώμα κάνει Γ.Α.Τ) το P=>Q σου λέει:
Αν P είναι αληθής (το σώμα κάνει Γ.Α.Τ) , τότε και η Q πρέπει να είναι αληθής (δηλαδή η συνισταμένη των δυνάμεων είναι -Δx) .
Αν P είναι ψευδής(το σώμα δεν κάνει Γ.Α.Τ) , τότε η Q μπορεί να είναι είτε ψευδής, είτε αληθής (δηλαδή μπορεί η συνισταμένη των δυνάμεων να είναι -Δx αλλα μπορεί και όχι)
στην περίπτωση που ισχύει Q=>P ισχύει το ίδιο απο πάνω, αλλα αλλάζοντας τα P και Q
Για Q<=>P πρέπει να ισχύουν και το Q=>P και το P=>Q, δηλαδή η μόνες περίπτωσεις αν έχεις P<=>Q είναι
1. Το σώμα να καένι Γ.Α.Τ
και η συνισταμένη των δυνάμεων να είναι -Δx
2. Το σώμα να
μην κάνει Γ.Α.Τ
και η συνισταμένη των δυνάμεων να
μην είναι -Δx
οποιαδήποτε άλλη περίπτωση αποκλείεται (πχ το να κάνει Γ.Α.Τ και να μην έχει Σf=-Δχ ή το να έχει Σf=-Δx και να μην κάνει Γ.Α.Τ)
Σημ: Τι είναι Γ.Α.Τ (ά το είδα)