Weird statement of conditions in propositional logic

Click For Summary
SUMMARY

The discussion focuses on understanding conditionals in propositional logic, specifically the various ways to express "if p, then q." Key phrases include "p is sufficient for q," "a necessary condition for p is q," and "q unless ~p." Participants emphasize the importance of grasping the underlying concepts rather than relying solely on memorization. Understanding the truth table for p → q is highlighted as a crucial method for comprehending these conditionals.

PREREQUISITES
  • Understanding of propositional logic
  • Familiarity with logical operators, particularly the "not" operator (~)
  • Knowledge of truth tables and their construction
  • Ability to interpret conditional statements
NEXT STEPS
  • Study the construction and interpretation of truth tables in propositional logic
  • Learn about logical equivalences and their applications
  • Explore the concept of converse statements in logic
  • Investigate advanced conditional forms and their implications in logical reasoning
USEFUL FOR

Students of logic, educators teaching propositional logic, and anyone seeking to deepen their understanding of logical conditionals and their expressions.

Mr Davis 97
Messages
1,461
Reaction score
44
So I am studying conditionals in proposition logic, and I have discovered that there are a variety of ways to phrase a conditional "if p, then q" in English. Some of the harder ones are...

p is sufficient for q
a necessary condition for p is q
q unless ~p (where ~ is the not operator)
p only if q
a sufficient condition for q is p
q is necessary for p

Do I just need to brute force memorize these? Or is there a way to really understand them? Some of them just seem so counter-intuitive...
 
Physics news on Phys.org
Mr Davis 97 said:
So I am studying conditionals in proposition logic, and I have discovered that there are a variety of ways to phrase a conditional "if p, then q" in English. Some of the harder ones are...

p is sufficient for q
a necessary condition for p is q
q unless ~p (where ~ is the not operator)
p only if q
a sufficient condition for q is p
q is necessary for p

Do I just need to brute force memorize these? Or is there a way to really understand them? Some of them just seem so counter-intuitive...
The second and fifth say the same thing in slightly different words.
The fourth is the converse of p if q (which is the same as if q then p).

An alternative to rote memorization of these is to understand the truth table for ##p \Rightarrow q##.
Code:
p.|..q...|..p → q
_________________
T.|..T...|...T
T.|..F...|...F
F.|..T...|...T
F.|..F...|...T
Hope that helps...
 

Similar threads

  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 27 ·
Replies
27
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 29 ·
Replies
29
Views
6K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 2 ·
Replies
2
Views
1K