• Support PF! Buy your school textbooks, materials and every day products Here!

Propositional Logic

  • Thread starter Bashyboy
  • Start date
1,416
5
1. Homework Statement
You cannot edit a protected Wikipedia entry unless you
are an administrator. Express your answer in terms of e:
“You can edit a protected Wikipedia entry” and a:“You
are an administrator."

I thought the answer would be [itex]a\rightarrow\neg e[/itex]; but the actual answer is,
[itex]e\rightarrow a[/itex]. Why is that?
 

Answers and Replies

HallsofIvy
Science Advisor
Homework Helper
41,736
894
"¬e" says "you can NOT edit a protected Wikipedia entry" so "a→¬e" says "if you are an administrator you can NOT edit a protected Wikipedia entry"- not at all what you want to say.

"You cannot edit a protected Wikipedia entry unless you are an administrator" is the same as "If you are not a Wikipedia administrator, you cannot edit a protected Wikipedia entry", ¬a→¬e and that is the same as e→a.
 
1,416
5
All right, I have yet another one:
You can graduate only if you have completed the requirements of your major and you do not owe money to the university and you do not have an overdue library book. Express your answer in terms of g: “You can graduate,” m: “You owe money to the university,” r: “You have com-pleted the requirements of your major,” and b:“You have an overdue library book.”

I wrote my answer to be [itex](r \wedge \neg m \wedge \neg b)\rightarrow g[/itex]

Yet, the answer key says the answer is the reverse. I don't really understand.
 
1,416
5
Does anyone have any input?
 
91
0
What do you mean the reverse?
 
1,416
5
g → (r∧¬m∧¬b) like this. Sorry, I can see how that would be confusing.
 
91
0
It may help to remember that "only if" is not the same as "if". P only if Q means P->Q but P if Q means Q->P. (I *think*)
 
476
2
g → (r∧¬m∧¬b) like this. Sorry, I can see how that would be confusing.
That one is tricky. The clue is "only if." a only if b translates as b->a. Your answer could be a true statement, but they weren't looking for a true statement, they were looking for a literal translation.
 
91
0
That one is tricky. The clue is "only if." a only if b translates as b->a. Your answer could be a true statement, but they weren't looking for a true statement, they were looking for a literal translation.
Did you mean that a only if b translates to a->b?
 
476
2

Related Threads for: Propositional Logic

  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
5
Views
5K
  • Last Post
Replies
8
Views
1K
Replies
4
Views
749
  • Last Post
Replies
1
Views
786
Replies
11
Views
8K
  • Last Post
Replies
19
Views
7K
Top