Logic and distributive laws

  • #1
Im just reading this one example and i am stumped at this one step.

[tex] (R\to C) \land (S \to C) \\
(\neg R\lor C) \land (\neg S \lor C) \ \ \ \ \ \textrm{by conditional law}\\
(\neg R\land \neg S) \lor C \ \ \ \ \textrm{by distributive law}[/tex]

I don't understand how it went from the second step to the third

my attempt from the second step was:
[tex](\neg R \land \neg S) \lor (\neg R \land C) \lor (C \land \neg S) \lor C[/tex]
but don't know where to go from here.

Did I do correctly applied the distributive law?
 

Answers and Replies

  • #2
399
117
The distributive laws in the propositional calculus say that

A ∧ (B ∨ C) = (A ∧ B) ∨ (A ∧ C)​

and also what you get when the symbols ∧ and ∨ are interchanged:

A ∨ (B ∧ C) = (A ∨ B) ∧ (A ∨ C).​

The A, B, C can of course stand for any propositions at all. Now you can probably see how choosing the appropriate A, B, C from your problem will get you from step 2 to step 3.
 
  • Like
Likes The Subject
  • #3
Stephen Tashi
Science Advisor
7,568
1,465
Im just reading this one example and i am stumped at this one step.

[tex] (R\to C) \land (S \to C) \\
(\neg R\lor C) \land (\neg S \lor C) \ \ \ \ \ \textrm{by conditional law}\\
(\neg R\land \neg S) \lor C \ \ \ \ \textrm{by distributive law}[/tex]

I don't understand how it went from the second step to the third
They could have said "by distributive law used in reverse", but actually there is no "forward" and "reverse" direction to the distributive law. It a human tendency to think what we go from the left hand side of an equivalence to the right right hand side, but you don't have to use equivalences that way. Do you see how to go from the third line back to the second line using the distributive law?

my attempt from the second step was:
[tex](\neg R \land \neg S) \lor (\neg R \land C) \lor (C \land \neg S) \lor C[/tex]
but don't know where to go from here.
I think you tried to do more than apply the distributive law to the second step.
 
  • Like
Likes The Subject and zinq

Related Threads on Logic and distributive laws

  • Last Post
Replies
2
Views
3K
  • Last Post
Replies
9
Views
3K
  • Last Post
Replies
1
Views
4K
Replies
2
Views
710
  • Last Post
Replies
0
Views
1K
  • Last Post
Replies
2
Views
732
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
9
Views
2K
  • Last Post
2
Replies
35
Views
2K
Top