Jump to content
  • Advertisement

Archived

This topic is now archived and is closed to further replies.

kordova

Math/logic symbol?

This topic is 5531 days old which is more than the 365 day threshold we allow for new replies. Please post a new topic.

If you intended to correct an error in the post then please contact us.

Recommended Posts

I''m reading a book about mathematical logic and I can find nowhere mentioned the definition of the vertical bar with two horizontal lines before both A''s in the thrid theorem in this picture: As this is the case I presume that it must have a mroe common definition in the math world? Thanks in advance.
Wow.

Share this post


Link to post
Share on other sites
Advertisement
I think Theorem 3 reads: "If proposition A is true and it is true that proposition A implies proposition B, then proposition B is true."

If your book doesn''t explain the notation clearly at the beginning, read a more introductory book first.

Share this post


Link to post
Share on other sites
Ah, to end that thought I believe it means that the proposition/equation or part therein is valid. Thanks anyways all.


Wow.

Share this post


Link to post
Share on other sites

  • Advertisement
×

Important Information

By using GameDev.net, you agree to our community Guidelines, Terms of Use, and Privacy Policy.

Participate in the game development conversation and more when you create an account on GameDev.net!

Sign me up!