Hola a todos, se que esto es una pequeña muestra de lo que existe, pero les recomiendo lecturas de matemáticas discretas, habla de todas las formas en las cuales pueden realizarse este tipo de comparaciones lógicas y a un nivel más avanzado son imprescindibles.
Colgaré aquí un libro que me ha funcionado muy bien: https://galois.azc.uam.mx/mate/LIBROS/matematicasdiscretas1.pdf
Saludos.