0
   

Logic: Completing Proofs

Forums: Maths, Mathematics, Math
Email this Topic • Print this Page
 
 
studentb
 
Reply Sun 14 Oct, 2012 02:47 pm
Complete this proof:
1. (Q∨R)→(W∨U)
2. W→P
3. Q∙T
4. U→Z
5. S→M
6. S∨~Y
7. (P∨Z)→~M ∴ ~Y
  • Topic Stats
  • Top Replies
  • Link to this Topic
Type: Question • Score: 0 • Views: 1,584 • Replies: 1
No top replies

 
markr
 
  1  
Reply Sun 14 Oct, 2012 06:50 pm
@studentb,
Assuming . means and:

3: Q is true
1: therefore (W or U) is true
2, 4: therefore P is true or Z is true,
7: therefore M is false
5: therefore S is false
6: therefore Y is false
0 Replies
 
 

Related Topics

Amount of Time - Question by Randy Dandy
Interest rate risk and backtesting - Question by kjmed
Find the domain and range of a function f(x)=1/(1-x^2) - Question by Swapnil
Suppose that the graph of the CDF of the random variable X contains the points (2,0.9) and (4,0.99). - Question by johnconar
please help - Question by johnconar
please help to solve this - Question by johnconar
Are there any Hoppa's numbers other than 81 and 54? - Question by syndixxx
Viz tie break question, hard sums. - Question by izzythepush
trigonometry - Question by anurag131
Econometrics F-Test - Question by alanm99
Discrete Structures And Combinatorics - Question by AnnSmith123
 
  1. Forums
  2. » Logic: Completing Proofs
Copyright © 2024 MadLab, LLC :: Terms of Service :: Privacy Policy :: Page generated in 0.03 seconds on 05/14/2024 at 06:15:29
▲ ▼