Logic problem

  • Thread starter steersman
  • Start date
  • #1
46
0
In my Intro to Logic textbook there is a truth-table with the formula:
(~(p & q) = (~p v ~q))
The equal sign is meant to be a tribar

What is the main operator in this formula?
I think it is the first tilde but the textbook indicates that it is the tribar. Does anyone know the correct answer? Thanks.
 
Last edited:

Answers and Replies

  • #2
887
2
the tilde on the left hand side only operates on the (p & q) part. So I would say (if 6 years after taking these classes I can still remember) that the equal sign (tribar) is the main operator, since it relates the two sides. I wouldn't bet too much on me, my memory is bad. But hopefully someone will confirm or disprove me.
Hope I helped a little.
 
  • #3
46
0
I think you're right but I'm still confused with these brackets. It seems that the first bracket encompasses the whole formula, including (p & q) and the = (tribar). Argh! I was never good at algebra.
 
  • #4
Gokul43201
Staff Emeritus
Science Advisor
Gold Member
7,051
17
I've never heard of the usage "main operator" and am not sure is it's standard terminology, or how it is defined.

The first bracket does encompass the whole formula, and so, is redundant.
 
  • #5
887
2
Those brackets are definately redundant so just forget about them. I have never heard of this main operator, but my guess is that it has something to do with order of operations stuff.
 
  • #6
259
0
I've not heard of this "main operator" before, but it probably entails this. If I could denote the entire formula by one single operator and compound statement(s), what's that operator? In your case, you have

(~(p & q) = (~p v ~q))

So define the following
r = p&q
s = ~p
t = ~q
u = ~r
z = s v t

Then you can rewrite the formula as
(~(p & q) = (~p v ~q))
(~r = (s v t))
(u = z)
Hence '=' is the main operator there. Of course, you're expected to do this mentally - it's quite easy once you get the knack of it.
 

Related Threads on Logic problem

  • Last Post
Replies
2
Views
1K
  • Last Post
Replies
10
Views
2K
  • Last Post
Replies
4
Views
4K
  • Last Post
Replies
1
Views
7K
  • Last Post
Replies
2
Views
2K
Replies
1
Views
640
Replies
2
Views
13K
  • Last Post
Replies
1
Views
406
  • Last Post
Replies
16
Views
2K
  • Last Post
Replies
2
Views
981
Top