Math/logic symbol?
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.
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.
If your book doesn''t explain the notation clearly at the beginning, read a more introductory book first.
This topic is closed to new replies.
Advertisement
Popular Topics
Advertisement