Essay on Logic and Conditional Statement

Submitted By darriae
Words: 574
Pages: 3
Open Document
Geometry Vocabulary
Chapter 1
Segment: or line segment is part of a line consisting of two points and all points between them.
Endpoint: point at one end of segment or starting point of ray.
Ray: part of line that starts at endpoint and extends forever in one direction.
Opposite rays: two rays have common endpoint and form line.
Collinear: points lie on same line.
Coplanar: points lie in same plane.
Postulate: accepted true without proof:
Construction: creating figure more precise.
Midpoint is point that bisects or divides segment into two congruent segments.
Segment Bisector: any ray, segment, or line that intersects segment at endpoint.
Angle Bisector: a ray that divides angles into two congruent angles.
Adjacent Angles: two angles in same plane with common vertex and common side but no common interior points.(meaning side by side)
Linear Pair: pair of adjacent angles whose noncommon sides are opposite rays. (form 180 degrees)
Vertical Angles: two nonadjacent anles formed byt two intersecting lines.
Area of Triangle: 1/2bh Area of Circle: pi r squared cir: pi d or 2 pi r
Legs: sides that form right angle.
Hypotenuse: side across from right angle that stretches from one leg to the other.(longest side)
Reflection or flip- Rotation or turn- Translation or slide
Chapter 2
Biconditional Statement: statement that can be written in form “p if and only if q”
Conclusion: Conditional statement following the word then.
Conditional Statement: statement that can be written in form “if p, then q”,where p is hypothesis and q is conclusion.
Conjecture: statement believed to be true.
Contrapositive: statement formed by both exchanging and negating the hypothesis and conclusion of a conditional statement.
Converse: statement formed by exchanging the hypothesis and conclusion of a conditional statement.
Counterexample: example that proves a conjecture or statement is false.
Deductive Reasoning: the process of using logic to draw conclusions.
Definition: a statement that describes a mathematical object and can be written as a true biconditional statement.
Flowchart Proof: a style of proof that uses boxes and arrows to show the structure of the proof.
Hypothesis: The part of a conditional statement following the word if.
Inductive Reasoning: the
Show More

Related Documents: Essay on Logic and Conditional Statement

Essay on VHDL for synthesis

Queen Mary, University of London VHDL for synthesis ECS617 Mahamed Abdilahi Qaalib 3/28/2014 Exercise 1 Aim: To compare the results of different architectural descriptions for the same entity Timing path analysis Logic Route Total EXERCISE 1A 7.567 ns 3.081 ns 10.648 ns EXERCISE 1B 7.567 ns 3.081 ns 10.648 ns EXERCISE 1C 7.567 ns 3.081 ns 10.648 ns EXERCISE 1A 5.00 sec EXERCISE 1B 5.00 sec EXERCISE 1C 5.00 sec 5.14 sec 5.20 sec 5.13 sec 255924…

Words 1021 - Pages 5

Logic: Logic and Different Types Essay

4-11-2013 2-3:20 TTr Intro to Logic Chapter 1, Video 1: What is Logic? According to professor Gregory, logic is defined as the study of arguments and to distinguish them from unsuccessful and successful. Its also the methods for applying the criteria. The arguments mentioned are a set of statements in which the premises are supposed to support or give reasons for the remaining statement,or conclusion. There are different types of arguments. Logic is also the study of consistency equivalence…

Words 426 - Pages 2

Reasoning and The Heuristic Influence Essay

University Abstract In addition to decision-making, reasoning is also closely related and followed. Reasoning can often be described and divided into two types: deductive and inductive. Deductive reasoning involves reasoning from general statements, while inductive reasoning is the process of reasoning from specific facts. During this process, heuristics are often used to speed up the reasoning end result that may or may not lead to the correct conclusion. This paper will discuss how cognitive…

Words 960 - Pages 4

Decision Tree Essay

Chapter 9 Structuring System Requirements: Logic Modeling True-False Questions 1. Data flow diagrams are designed to show the detailed logic of processes. Answer: False Difficulty: Med Reference: p. 282 2. Structured English is useful for representing the logic in information system processes. Answer: True Difficulty: Easy Reference: p. 282 3. Structured English represents the three fundamental structured programming statements: choice, repetition, and sequence. Answer: True Difficulty:…

Words 5594 - Pages 23

Essay Conditional Programming

Introduction to Computing 1 COMP-202 Unit 3: Conditional Programming CONTENTS: Boolean Expressions The if and if-else Statements • Suppose we want to write a program which asks the user to enter two numbers and then displays only the larger of the two • This will involve executing certain statements in some circumstances, and different statements in other circumstances • Problem: So far, all the programs we have written executed all the statements they contained all the time – We do not…

Words 3198 - Pages 13

Logic and Pearson Addison-wesley Essay

3 Introduction to Logic © 2008 Pearson Addison-Wesley. All rights reserved Chapter 3: Introduction to Logic 3.1 3.2 3.3 3.4 3.5 3.6 Statements and Quantifiers Truth Tables and Equivalent Statements The Conditional and Circuits More on the Conditional Analyzing Arguments with Euler Diagrams Analyzing Arguments with Truth Tables © 2008 Pearson Addison-Wesley. All rights reserved 3-2-2 Chapter 1 Section 3-2 Truth Tables and Equivalent Statements © 2008 Pearson Addison-Wesley…

Words 758 - Pages 4

Logic and True Antecedent Essay

principles of logic Identity: A ≡ A A equals A, or A if and only if A Contradiction: ¬ [A ^ ¬A] It is not the case that both A and not-A Excluded Middle: [A  ¬A] Either A or not-A Traditional deductive logic also assumes the principle of bivalence, meaning that a proposition must be either true or false, never both or neither. This is similar to, but distinct from, the principle of excluded middle. Deduction I: Categorical Logic (Syllogisms) Varieties of Categorical Statements Affirmative…

Words 7329 - Pages 30

Verilog HDL: A Guide To Digital Design And Synthesis

state-of-the-art verification methodologies Provides full coverage of gate, dataflow (RTL), behavioral and switch modeling Introduces you to the Programming Language Interface (PLI) Describes logic synthesis methodologies Explains…

Words 32844 - Pages 132

Essay about A Commentary on the Semantic Theory of Truth

Symbolic Logic December 2nd, 2014 There are many widely accepted theories of truth in the field of deductive logic. From Paul Horwich to Gottlob Frege, the latter of whom is often considered the grandfather of modern logic, truth has many differing foundations, from semantic accounts to syntactical ones. No matter what the underlying structure of the truth may be, it is always provable with its own corresponding methodology. I discovered the semantic theory of truth while reading Logic, Semantics…

Words 2978 - Pages 12

Italy: Informal Fallacy Informal Essay

A fallacy is incorrect argument in logic and rhetoric resulting in a lack of validity, or more generally, a lack of soundness. Fallacies are either formal fallacies or informal fallacies. Contents 1 Formal fallacies 1.1 Propositional fallacies 1.2 Quantification fallacies 1.3 Formal syllogistic fallacies 2 Informal fallacies 2.1 Faulty generalizations 2.2 Red herring fallacies 3 Conditional or questionable fallacies 4 See also…

Words 4737 - Pages 19