Understanding Symbolic Logic: Mr. X's Final & Class Pass

  • Thread starter Thread starter buddyholly9999
  • Start date Start date
  • Tags Tags
    Class Final Logic
AI Thread Summary
The discussion centers on symbolic logic problems related to Mr. X's final grade and class passing status. The first statement, "Mr. X did not get a C on his final but he passed the class," is correctly represented as ~p and q, despite concerns about the use of "but." The second and third statements, which imply a conditional relationship between passing the class and getting a C, are both represented as q => p. There is a consensus that "but" functions similarly to "and" in logical terms. Overall, the responses provided are affirmed as accurate interpretations of the symbolic logic involved.
buddyholly9999
Messages
74
Reaction score
0
Ok..tried to help a friend understand some of his homework..I haven't seen symbolic logic since college, but there was this one problem in particular that went something like..."Mr. X got a C on his final." and "Mr. X passed the class"...we say that these are represented by p and q, respectively. Then it goes on to list some statements which you have to write in symbols.

1) Mr. X did not get a C on his final but he passed the class...
my response was ... ~p and q
I'm pretty damn sure I'm right but he kept complaining that the but might not denote the 'and' connective.

2) It was necessary for Mr. X to get a C on his final in order for him to pass the class.
My response was... q => p

3)
Mr. X passed the class only if he got a C on his final.
My response was... q => p

He trusts me that I'm right...and I'm figuring that the second and third responses are correct..but I'm worried I'm wrong..if you read the second and third statements, you can see why someone would think that they are essentially the same.

I hoping for some feedback..even if it's to tell me to %#@& off..
 
Last edited:
Physics news on Phys.org
Those all look fine to me. And yes "but" is the same as "and."
 
Does your friend speak English? Logically, "but" and "and" mean the same thing.
 

Thread 'Formal derivation of statement from Peano Arithmetic system'

I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
View full post »

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
View full post »

Similar threads

I On the meaning of logical implication within specific context/models
Replies
22
Views
3K
B Translating Abraham Lincoln quote into symbolic logic
Replies
8
Views
3K
I The truth value of ##P(x)## → ##Q(x)##
Replies
16
Views
3K
B Traditional logic and its usefulness in the past
Replies
21
Views
3K
I Have you ever used "symbolic logic" to help you learn calculus?
Replies
5
Views
2K
What does 'p only if q' mean in logic and proofs?
Replies
4
Views
4K
MHB Attempting to add logic mathematics to a college paper - need your input
Replies
2
Views
2K
Symbolic Logic: Helping a Friend Understand Mr. X's Homework
Replies
1
Views
2K
I Ways to put n balls in m boxes such that exactly k boxes are empty?
Replies
29
Views
3K
Passing a Reference to a String in C#
Replies
34
Views
4K

Hot Threads

Recent Insights

Back
Top