Verification of Truth

Cheatsheet Content

### Introduction to Statement Verification Verifying the truth of a statement is a critical skill in aptitude tests, logic, and everyday reasoning. It involves determining whether a given assertion is factually correct, logically consistent, or deducible from provided information. This cheatsheet covers various types of statements and common verification techniques. ### Types of Statements Understanding the nature of a statement is the first step in verification. #### 1. Factual Statements - **Definition:** Assertions about objective reality that can be proven true or false through empirical evidence, historical records, or scientific principles. - **Verification:** Requires external knowledge, data, or research. - **Example:** "The Earth revolves around the Sun." (True, scientifically proven) #### 2. Logical Statements - **Definition:** Assertions whose truth value depends on their internal consistency and adherence to rules of logic, often expressed as propositions or syllogisms. - **Verification:** Uses logical inference, truth tables, or formal proofs. - **Example:** "If all A are B, and all B are C, then all A are C." (True, by transitive property of set inclusion) #### 3. Deductive Statements - **Definition:** Statements whose conclusions are necessarily true if their premises are true. The reasoning moves from general principles to specific conclusions. - **Verification:** Check if the conclusion follows inevitably from the premises. - **Example:** - Premise 1: All birds have feathers. - Premise 2: A robin is a bird. - Conclusion: Therefore, a robin has feathers. (True, if premises are true) #### 4. Inductive Statements - **Definition:** Statements whose conclusions are probable based on specific observations or patterns, but not guaranteed. Reasoning moves from specific observations to general conclusions. - **Verification:** Assess the strength of evidence and the likelihood of the conclusion, acknowledging that it's not absolute. - **Example:** - Observation: Every swan I have seen is white. - Conclusion: Therefore, all swans are white. (Likely, but disproven by black swans, hence not necessarily true) #### 5. Conditional Statements (If-Then) - **Definition:** Statements of the form "If P, then Q" (P $\implies$ Q). P is the antecedent, Q is the consequent. - **Truth Table:** | P | Q | P $\implies$ Q | |-------|-------|-------------| | True | True | True | | True | False | False | | False | True | True | | False | False | True | - **Verification:** The statement is only false if P is true and Q is false. - **Example:** "If it rains, then the ground is wet." #### 6. Biconditional Statements (If and Only If) - **Definition:** Statements of the form "P if and only if Q" (P $\iff$ Q). Means P $\implies$ Q AND Q $\implies$ P. - **Truth Table:** | P | Q | P $\iff$ Q | |-------|-------|-----------| | True | True | True | | True | False | False | | False | True | False | | False | False | True | - **Verification:** True only when P and Q have the same truth value. - **Example:** "A triangle is equilateral if and only if all its angles are 60 degrees." #### 7. Universal Statements - **Definition:** Statements that assert something about every member of a group, often using "all," "every," or "no." - **Verification:** To prove true, must hold for all members. To prove false, find one counterexample. - **Example:** "All dogs are mammals." (True) #### 8. Existential Statements - **Definition:** Statements that assert the existence of at least one member of a group with a certain property, often using "some," "there exists," or "at least one." - **Verification:** To prove true, find one example. To prove false, show no such member exists. - **Example:** "Some birds can fly." (True) ### Common Verification Techniques #### 1. Direct Proof - **Method:** Start with premises and logically deduce the conclusion step-by-step. - **Use Case:** Deductive arguments, mathematical proofs. - **Example:** - Statement: "The sum of two even numbers is always even." - Proof: Let $m=2k$ and $n=2j$ for integers $k, j$. Then $m+n = 2k+2j = 2(k+j)$. Since $k+j$ is an integer, $2(k+j)$ is even. #### 2. Proof by Counterexample - **Method:** To disprove a universal statement, find a single instance where the statement does not hold. - **Use Case:** Disproving "all" or "every" statements. - **Example:** - Statement: "All prime numbers are odd." - Counterexample: 2 is a prime number, but 2 is even. Thus, the statement is false. #### 3. Proof by Contradiction (Reductio ad Absurdum) - **Method:** Assume the statement you want to prove is false, and then show that this assumption leads to a logical contradiction. If the assumption leads to a contradiction, then the original statement must be true. - **Use Case:** Proving statements that are difficult to prove directly. - **Example:** - Statement: "There is no largest prime number." - Proof sketch: Assume there is a largest prime P. Consider $N = (P_1 \times P_2 \times ... \times P) + 1$. N is either prime or divisible by a prime larger than P, contradicting P being the largest. #### 4. Truth Tables - **Method:** Systematically list all possible truth values for atomic propositions and evaluate the truth value of the compound statement. - **Use Case:** Verifying logical equivalences, validity of arguments, conditional statements. - **Example:** Verify "P $\lor$ ($\neg$P)" (P or Not P) is always true (a tautology). | P | $\neg$P | P $\lor$ ($\neg$P) | |-------|--------|----------------| | True | False | True | | False | True | True | #### 5. Venn Diagrams - **Method:** Use overlapping circles to visually represent sets and their relationships. - **Use Case:** Verifying syllogisms and statements involving set theory. - **Example:** - Statement: "All A are B. All B are C. Therefore, all A are C." - Diagram: Draw circle A inside B, and circle B inside C. Visually, A is inside C. #### 6. Checking for Fallacies - **Method:** Identify common errors in reasoning that invalidate an argument. - **Use Case:** Evaluating the soundness of an argument presented to support a statement. - **Common Fallacies:** - **Ad Hominem:** Attacking the person, not the argument. - **Straw Man:** Misrepresenting an opponent's argument to make it easier to attack. - **False Dilemma:** Presenting only two options when more exist. - **Appeal to Authority (Fallacious):** Citing an authority in a field outside their expertise. - **Slippery Slope:** Assuming a small first step will lead to a chain of related, negative events. - **Hasty Generalization:** Drawing a broad conclusion from a small sample size. - **Post Hoc Ergo Propter Hoc:** Assuming that because B happened after A, A caused B. #### 7. Consistency Check - **Method:** Ensure that a statement does not contradict other known facts or previously established truths within a given context. - **Use Case:** Evaluating statements in a larger body of information. - **Example:** If a passage states "All birds can fly," and later states "Penguins are birds," then the statement "Penguins can fly" would be inconsistent. #### 8. Sufficiency and Necessity - **Method:** - **Sufficient Condition:** P is sufficient for Q if P's occurrence guarantees Q's occurrence (P $\implies$ Q). - **Necessary Condition:** P is necessary for Q if Q cannot occur without P occurring ($\neg$P $\implies$ $\neg$Q, or Q $\implies$ P). - **Use Case:** Analyzing relationships in conditional statements. - **Example:** "Having fuel in the tank is a necessary condition for a car to run." (If no fuel, car won't run). "Having fuel in the tank is not a sufficient condition for a car to run." (Other things like engine, battery are also needed). ### Aptitude Test Varieties #### 1. Data Sufficiency - **Task:** Determine if the given statements (usually two) are sufficient to answer a question. - **Verification:** Test each statement individually, then both together. - **Options:** - A: Statement 1 alone is sufficient. - B: Statement 2 alone is sufficient. - C: Both statements together are sufficient, but neither alone is sufficient. - D: Each statement alone is sufficient. - E: Neither statement nor both together are sufficient. #### 2. Syllogisms - **Task:** Determine if a conclusion logically follows from two or more premises. - **Verification:** Use Venn diagrams, rules of syllogism, or logical deduction. - **Example:** - Premises: All pens are pencils. Some pencils are erasers. - Conclusion: Some pens are erasers. (False, not necessarily) #### 3. Statement & Conclusion - **Task:** Analyze a given statement(s) and identify which of the provided conclusions logically follows. - **Verification:** Treat the statement(s) as facts and deduce only what is certain. Avoid external knowledge. - **Example:** - Statement: All intelligent people are hard workers. - Conclusion 1: All hard workers are intelligent. (False, not necessarily) - Conclusion 2: Some hard workers are intelligent. (True, if all intelligent are hard workers, then some hard workers must be intelligent) #### 4. Statement & Assumption - **Task:** Identify the unstated premise(s) that must be true for the statement to hold. - **Verification:** Ask: "If this assumption were false, would the original statement still make sense or be valid?" If no, it's a valid assumption. - **Example:** - Statement: "Please turn off your mobile phones in the examination hall." - Assumption: People might use mobile phones in the examination hall if not instructed. (Valid assumption) - Assumption: All people carry mobile phones. (Invalid, not necessary for the statement to hold) #### 5. Cause & Effect - **Task:** Identify which statement is the cause, which is the effect, or if they are independent. - **Verification:** Look for direct causal links, temporal sequence, and ruling out other factors. - **Example:** - Statement 1: The price of crude oil increased sharply last month. - Statement 2: The price of petrol and diesel increased significantly last month. - Relationship: Statement 1 is the cause, Statement 2 is the effect. #### 6. Course of Action - **Task:** Given a situation or problem, identify the most logical, practical, and effective course(s) of action. - **Verification:** Evaluate actions based on feasibility, impact, and problem-solving effectiveness. - **Example:** - Situation: Many students are failing mathematics. - Course of Action: Conduct extra remedial classes for weak students. (Logical, direct solution) #### 7. Assertion & Reason - **Task:** Determine if the Assertion is true, if the Reason is true, and if the Reason correctly explains the Assertion. - **Verification:** Evaluate truth of each independently, then their causal link. - **Options:** - A: Both A and R are true, and R is the correct explanation of A. - B: Both A and R are true, but R is not the correct explanation of A. - C: A is true, but R is false. - D: A is false, but R is true. - E: Both A and R are false. #### 8. Inference - **Task:** Draw a conclusion or deduction that is implied but not explicitly stated in the given passage. - **Verification:** Base inference strictly on the provided text; avoid bringing in outside knowledge that isn't directly supported. - **Example:** - Passage: "Despite heavy rainfall, the city's reservoirs are still at critically low levels." - Inference: The heavy rainfall was not sufficient to replenish the reservoirs. #### 9. Para Jumbles / Sentence Rearrangement - **Task:** Arrange a set of jumbled sentences into a coherent and logical paragraph. - **Verification:** Check for logical flow, grammatical consistency, and thematic progression. Look for connecting words, pronouns, and topic sentences. ### Strategies for Aptitude Tests #### 1. Read Carefully - Pay close attention to keywords like "all," "some," "no," "only," "if," "unless," "not." - Understand the exact meaning of the statement, not what you assume it means. #### 2. Avoid Outside Knowledge - For logical reasoning questions (syllogisms, statement-conclusion), treat the given statements as absolutely true, even if they contradict real-world facts. Your task is to verify logical consistency, not factual accuracy based on external information. #### 3. Identify the Core Argument - Break down complex statements into simpler propositions. - Pinpoint the subject, predicate, and quantifiers. #### 4. Test All Possibilities (for Truth Tables/Data Sufficiency) - Don't stop when you find one case that seems to work. Explore all scenarios. #### 5. Look for Counterexamples (for Universal Statements) - If a statement claims something is always true, actively try to find an exception. One counterexample disproves the universal statement. #### 6. Use Visualization - Venn diagrams for set-based logic. - Mental models for cause-and-effect scenarios. #### 7. Practice Fallacy Spotting - Familiarize yourself with common logical fallacies to identify flawed reasoning quickly. #### 8. Manage Time - Some questions are quicker than others. Don't get stuck on one difficult problem. - Practice under timed conditions to improve speed and accuracy. #### 9. Review Your Answers - Double-check your reasoning, especially for questions where you had to make assumptions or complex deductions.