Archived

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

kordova

Math/logic symbol?

Recommended Posts

kordova    140
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
alvaro    21266
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