See the right hand side for all the wiki pages.
Useful resources
Logic:
- ST&V Appendix A
- http://www.wolframalpha.com/input/?i=a%3C%3D%3Eb
- http://www.wolframalpha.com/input/?i=!(a%3C%3D%3Eb)
- https://math.berkeley.edu/~sagrawal/su14_math55/notes_quantifiers.pdf
- https://faculty.washington.edu/smcohen/120/QLEquiv.pdf
- http://www3.cs.stonybrook.edu/~pfodor/courses/CSE215/L05-PredicativeLogic.pdf
- https://en.wikipedia.org/wiki/Logical_equivalence
- https://www.cs.nmsu.edu/~rth/cs/cs475/class%20notes/Quantifiers.pdf
- https://webcache.googleusercontent.com/search?q=cache:PotZW30oDmsJ:https://math.berkeley.edu/~sagrawal/su14_math55/notes_quantifiers.pdf+&cd=1&hl=en&ct=clnk&gl=nl
- http://www.eecs.yorku.ca/course_archive/2008-09/S/1019/Website_files/06-nested-quantifiers.pdf
- http://www.eecs.yorku.ca/course_archive/2008-09/S/1019/Website_files/06-nested-quantifiers.pdf
- https://www.cise.ufl.edu/class/cot3100sp09/Slides/Section1_4.pdf
- https://en.wikipedia.org/wiki/Skolem_normal_form
- http://profs.sci.univr.it/~farinelli/courses/ar/slides/skolem.pdf
- https://www.cs.utexas.edu/~mooney/cs343/slide-handouts/inference.4.pdf