Nota math discrete logic & proof
1 Discrete and Combinatorial Mathematics R. P. Grimaldi, 5 th edition, 2004 Chapter 2 Fundamentals of Logic.
