MHB By using rules of inference how the valid conclusion can be determined?

  • Thread starter Thread starter yakin
  • Start date Start date
  • Tags Tags
    Rules
yakin
Messages
42
Reaction score
0
Honestly, I do not really understand how to apply rules of inference. So i would appreciate if u could explain without missing any point.
View attachment 2151

I think i got this, is this the correct answer? Pls refer to image.
View attachment 2152
 

Attachments

  • Capture.JPG
    Capture.JPG
    16 KB · Views: 76
  • Capture.JPG
    Capture.JPG
    14.9 KB · Views: 78
Last edited:
Physics news on Phys.org
Hello, yakin!

You are correct!
 
Hi all, I've been a roulette player for more than 10 years (although I took time off here and there) and it's only now that I'm trying to understand the physics of the game. Basically my strategy in roulette is to divide the wheel roughly into two halves (let's call them A and B). My theory is that in roulette there will invariably be variance. In other words, if A comes up 5 times in a row, B will be due to come up soon. However I have been proven wrong many times, and I have seen some...
Thread 'Detail of Diagonalization Lemma'
The following is more or less taken from page 6 of C. Smorynski's "Self-Reference and Modal Logic". (Springer, 1985) (I couldn't get raised brackets to indicate codification (Gödel numbering), so I use a box. The overline is assigning a name. The detail I would like clarification on is in the second step in the last line, where we have an m-overlined, and we substitute the expression for m. Are we saying that the name of a coded term is the same as the coded term? Thanks in advance.
Back
Top