2:43[Old exam question] Formal structures as counterexamplesStefan Hugtenburg701 viewsView & Download
2:39P250, Introduction to Symbolic Logic, Lecture 12.6: FOL counter-examplesVera Flocke124 viewsView & Download
4:44GCSE Maths - How to Disprove a Statement by Counter Example - Proof Part 1 (2026/27 exams)Cognito48.9K viewsView & Download
15:08PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICSTrevTutor557.6K viewsView & Download
4:32[Old exam question] Disproving a claim in predicate logicStefan Hugtenburg569 viewsView & Download