You are Here: Home >< Maths

Basic logic question Watch

1. I'm wondering if using a truth table to prove

would be circular logic?

My guess is no but when I think of the truth table for , I think "either q is true or p is false", so I can fill in the table using this. But that's what I'm trying to prove in the first place.

So maybe my thought process is circular but my proof isn't?
2. (Original post by 0-))
I'm wondering if using a truth table to prove

would be circular logic?

My guess is no but when I think of the truth table for , I think "either q is true or p is false", so I can fill in the table using this. But that's what I'm trying to prove in the first place.

So maybe my thought process is circular but my proof isn't?
Depends how you've defined the "or" symbol. What have you defined?
3. (Original post by Smaug123)
Depends how you've defined the "or" symbol. What have you defined?
I'm new to logic so my only definition would be with a truth table,

p, q, (p V q)
T, T, T
T, F, T
F, T, T
F, F, F

Can you explain how the definition would change whether the proof is circular?
4. (Original post by 0-))
I'm new to logic so my only definition would be with a truth table,

p, q, (p V q)
T, T, T
T, F, T
F, T, T
F, F, F

Can you explain how the definition would change whether the proof is circular?
In my course, we defined to be . It's conceivable that you could have defined "implies" in terms of "or" or something.

If you defined "or" as a truth table, then your reasoning is fine. If we let be a valuation on a language in which are propositions, then is 1 unless , when it's 0: that is, 1 unless a true thing is implying a false thing. is defined in the same way as , according to your definition, so that's a proof that they are indeed the same.

Feel free to ignore this next paragraph unless you've heard of the Completeness Theorem.

It appears that you've defined "or" in terms of what valuations do to the statement, by the way: that's implicitly relying on the Completeness Theorem, which states that a proposition of first-order logic is semantically true iff it is syntactically true. (That is, "I can examine how the statement behaves as a truth table, and that tells me about precisely whether the statement can be proved by symbol manipulation".) Depends how you've defined "implies", as well.

TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Updated: January 22, 2015
Today on TSR

How to stand out in an Oxbridge interview

What makes you memorable?

A pregnant woman visits me every night

Discussions on TSR

• Latest
• See more of what you like on The Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

• Poll
Useful resources

Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

How to use LaTex

Writing equations the easy way

Study habits of A* students

Top tips from students who have already aced their exams

Chat with other maths applicants

Groups associated with this forum:

View associated groups
Discussions on TSR

• Latest
• See more of what you like on The Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

• The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE