# Register now to access 7 million high quality study materials (What's Course Hero?) Course Hero is the premier provider of high quality online educational resources. With millions of study documents, online tutors, digital flashcards and free courseware, Course Hero is helping students learn more efficiently and effectively. Whether you're interested in exploring new subjects or mastering key topics for your next exam, Course Hero has the tools you need to achieve your goals.

43 Pages

### logic_definitions

Course: MATH 245, Spring 2008
School: JMU
Rating:

Word Count: 704

#### Document Preview

in Counting Binary 000 001 010 011 100 101 110 111 etc. (Lots of) Denitions (Lots of) Denitions Proposition (Lots of) Denitions Proposition A proposition is a declarative sentence that is either true or false. Denition Denition Negation Denition Negation Let p be a proposition. The statement It is not the case that p. is another proposition called the negation of p. Notation: p. Denition Denition...

Register Now

#### Unformatted Document Excerpt

Coursehero >> Virginia >> JMU >> MATH 245

Course Hero has millions of student submitted documents similar to the one
below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.

Course Hero has millions of student submitted documents similar to the one below including study guides, practice problems, reference materials, practice exams, textbook help and tutor support.
in Counting Binary 000 001 010 011 100 101 110 111 etc. (Lots of) Denitions (Lots of) Denitions Proposition (Lots of) Denitions Proposition A proposition is a declarative sentence that is either true or false. Denition Denition Negation Denition Negation Let p be a proposition. The statement It is not the case that p. is another proposition called the negation of p. Notation: p. Denition Denition Conjunction Denition Conjunction Let p and q be propositions. The conjunction of p and q, denoted p q, is the proposition that is true when both p and q are true, and is false otherwise. (Less formally, this is also known as p and q.) Denition Denition Disjunction Denition Disjunction Let p and q be propositions. The disjunction of p and q, denoted p q, is the proposition that is false when both p and q are false, and is true otherwise. (Less formally, this is also known as p or q.) Denition Denition Exclusive or Denition Exclusive or Let p and q be propositions. The exclusive or of p and q, denoted p q, is the proposition that is true when exactly one of p and q is true, and is false otherwise. Denition Denition Implication Denition Implication Let p and q be propositions. The implication p q is the proposition that is false when p is true and q is false, and is true otherwise. Denition Implication Let p and q be propositions. The implication p q is the proposition that is false when p is true and q is false, and is true otherwise. In the implication p q, statement p is called the hypothesis, antecedent or premise. Denition Implication Let p and q be propositions. The implication p q is the proposition that is false when p is true and q is false, and is true otherwise. In the implication p q, statement p is called the hypothesis, antecedent or premise. The statement q is called the conclusion or consequence. Denition Denition Converse Denition Converse The implication q p is the converse the of implication p q. Denition Denition Inverse Denition Inverse The implication p q is the inverse of the implication p q. Denition Denition Contrapositive Denition Contrapositive The implication q p is the contrapositive of the implication p q. Denition Denition Biconditional Denition Biconditional Let p and q be propositions. The biconditional p q is the proposition that is true when p and q have the same truth values, and is false otherwise. (Often stated as p if, and only if, q, or more briey p i q.) Denitions Denitions Tautology Denitions Tautology A tautology is a compound statement that is always true, no matter the truth values of the individual statements. Denitions Tautology A tautology is a compound statement that is always true, no matter the truth values of the individual statements. Contradiction Denitions Tautology A tautology is a compound statement that is always true, no matter the truth values of the individual statements. Contradiction A contradiction is a compound statement that is always false, no matter the truth values of the individual statements. Denitions Tautology A tautology is a compound...

Find millions of documents on Course Hero - Study Guides, Lecture Notes, Reference Materials, Practice Exams and more. Course Hero has millions of course specific materials providing students with the best way to expand their education.

Below is a small sample set of documents:

JMU - MATH - 236
Math 2363 Fall 2008 Problem Values for Exam 11. 4 points each 2. 2 points each 3. 6 points each 4. 10 points 5. (a) 2 (b) 3 (c) 3 (d) 2 (e) 4 (f) 2 (g) 4 6. (a) 5 (b) 5 7. 6 points each 8. 8 points 9. 10 points
JMU - EC - 385
Chapter 4: Properties of the Least Squares EstimatorIn this chapter, we will Review the formulas for b1 and b2 Derive their means, variances and probability density functions To do so, we will use the assumptions we made in Chapter 3. Do a Monte
JMU - EC - 385
Chapter 2: ProbabilityRandom Variable (r.v.) is a variable whosevalue is unknown until it is observed. The value of a random variable results from an experiment. Experiments can be either controlled (laboratory) or uncontrolled (observational). Mos
JMU - EC - 385
Autocorrelation12.1Outline 1) What is it? 2) What are the consequences for our Least Squares estimator when we have an autocorrelated error? 3) How do we test for an autocorrelated error? 4) How do we correct a model that has an autocorrelated er
JMU - EC - 385
Ch. 3 Simple Linear Regression1. To estimate relationships among economic variables, such as y = f(x) or c = f(i) To test hypotheses about these relationships, such as: is the marginal propensity to consume less than 1.0: dc/di &lt; 1 (do people save?)
JMU - CIS - 484
Graphics ProgrammingMostly corresponds with Ch 13The java.awt Package Abstract Windowing Toolkit Supports the GUI of a Java Applet or Application Contains classes for creating user interfaces and for painting graphics and images Three ca
Naval Academy - EE - 242
Altera Development Board The Altera Development Board contains a Programmable Logic Device (PLD) which is a chip that can be programmed to perform a wide variety of logical operations (AND, OR, NOT, NAND, etc) in any combination. The PLD provided on
Naval Academy - EE - 462
EE462 Syllabus Version 1 Fall 2006 Textbooks [C] Frederick M. Cady, Microcontrollers and Microcomputers: Principles of Hardware and Software Engineering , Oxford University Press, New York, 1997. [M] Precision Analog Microcontroller 12-bit Analog I/O
Naval Academy - SI - 334
Software Engineering SI334Basic GUI Components (Deitel Ch12)Focus: Event Handling in Java's Graphical User Interface Original (pre-Java 2) GUI components - heavyweight:rely on local platform's windowing system each heavyweight component has a p
Naval Academy - EE - 362
.4-39Chapter 4Processor DesignFig 4.11 Control Unit Detail with Inputs and OutputsMaster Strt Wait Done OpCode clock Clocking logic Enable Step generator Countln 4 Counter Control step decoderT0 T1 T2 T4 Tn 1IR DecoderOther signals from
Fayetteville State University - COP - 5611
Outline Theoretical Foundations - continued Vector clocks - review Casual ordering of messages04/27/09COP56111Announcements This is no TA for this class I will do the grading and everything else by myself Homework #1 is due this Thursd
Fayetteville State University - CAP - 5638
1 13.2 1.78 2.14 11.2 100 2.65 2.76 .26 1.28 4.38 1.05 3.4 1050 1 14.37 1.95 2.5 16.8 113 3.85 3.49 .24 2.18 7.8 .86 3.45 1480 1 14.2 1.76 2.45 15.2 112 3.27 3.39 .34 1.97 6.75 1.05 2.85 1450 1 14.06 2.15 2.61 17.6 121 2.6 2.51 .31 1.25 5.05 1.06
Fayetteville State University - CAP - 5638
1 14.23 1.71 2.43 15.6 127 2.8 3.06 .28 2.29 5.64 1.04 3.92 1065 1 13.16 2.36 2.67 18.6 101 2.8 3.24 .3 2.81 5.68 1.03 3.17 1185 1 13.24 2.59 2.87 21 118 2.8 2.69 .39 1.82 4.32 1.04 2.93 735 1 14.39 1.87 2.45 14.6 96 2.5 2.52 .3 1.98 5.25 1.02 3.5
NMT - ERTH - 468
WHEN DID PLATE TECTONICS BEGIN ON PLANET EARTH ?Kent C. Condie Department of Earth and Environmental Science New Mexico Tech Socorro, NM 87801 USA3000 2800 2600 2400MANTLE EVOLUTIONViscosity1018 1017 1016 1015Temperature 2200 4.0 3.0 2.0 T
Johns Hopkins - CTE - 1757
Checklist: This checklist provides an overview of the week at a glance and shows targeted dates for the completion of activities. Use it at the start of the week to plan your time and at the end of the week to be sure you have completed all requireme
Johns Hopkins - CTE - 5322
Assignment 7: Standards and Curriculum Mapping and AlignmentNational Standard [Select ONE Standard]Aligned State Standard from MD VSC or other state curriculum (provide all topics and indicators for the standard)Aligned Local Standard or
Fayetteville State University - MAD - 2104
2. PROPERTIES OF FUNCTIONS1092. Properties of Functions 2.1. Injections, Surjections, and Bijections. Definition 2.1.1. Given f : A B 1. f is one-to-one (short hand is 1 1) or injective if preimages are unique. In this case, (a = b) (f (a) = f
Johns Hopkins - CTE - 1285
Participant _ Date_ Continuous Classroom Improvement CourseAssessments at a GlanceAssessment Attendance at f2f sessions Reflections/Discussions (Forum Questions, Video Clips, Core Values, Scavenger Hunt, Kidgets) Tools in the Classroom (Mission Sta
NMT - HYD - 531
3/3/08Groundwater Exploitation Today Well Drilling Well Completion Well Development1Well ConstructionHow are wells constructed? Drilling Completion (casing, screen, surface features) Development For shallow wells/piezometers(total dept
NMT - HYD - 531
Cover description:Landsat thematic mapper mosaic of the Middle Rio Grande Basin. The four scenes used in the image were acquired in September 1993. Bands 1, 4, and 7 are displayed through blue, green, and red filters, respectively. The image has bee
Mt. Holyoke - ASTR - 330
Exercise #3 Name _ I want you to plot the distribution of asteroids in the main and the distribution of taxonomic types. Go to the Syllabus on the website. Go to October 4. Download the Class Exercise #3 Asteroid Data 1) Plot the distribution of aste
NMT - ERTH - 140
Water in the Rise and Fall of Civilizations-LaboratoryERTH 140L Fall 2007, F 14:00-17:00, MSEC 113Robert Bowman, 835-5992, bowman@nmt.edu Office Hours: Tuesday and Thursday 14:00-15:00, MSEC 250 Teaching Assistant: Jeremiah Morse, 835-5484, jmorse@
Fayetteville State University - COP - 4610
FSU COP 4610, CGS5765 (Fall 2004) Principles of Operating Systems Homework 6 (Due 10/21/2004)Instructor Andy Wang (awang@cs.fsu.edu) Office: 264 Love Building Office Hours: M1:30-2:30pm, W2:30-3:30pm and by appointment__ _ 1. Find a creative/funny
Fayetteville State University - CDA - 3100
Carryout bit? Carryout bit is 1 also on four cases. When a, b and carryin are 110, 101, 011, 111. Does it mean that we need a similar circuit as sum?Carryout bit Actually, it can be simplerDelay Hardware has delays. Delay is defined as the t
Mt. Holyoke - ASTRONOMY - 101
Astronomy 101 Monday, Wednesday, Friday 10:10 11:00 am Tom Burbine tburbine@mtholyoke.eduGradesThis Fall I am teaching Planetary Science - ASTRON 223To get extra homework points Every Wednesday at noon, I will have lunch at the Hatch If you
Mt. Holyoke - ASTRONOMY - 101
Astronomy 101 Monday, Wednesday, Friday 10:10 11:00 am Tom Burbine tburbine@mtholyoke.eduTo get extra homework points Every Wednesday at noon, I will have lunch at the Hatch If you join me for at least 5 minutes, I will give you a homework point
NMT - ERTH - 441
Homework 1 - Spring 2008: Earth 441 Aquifer MechanicsAssigned: Jan 24, 2008 Due: Jan 31, 2008 in class1. Variation of the components of hydraulic head in a soil column with flowing water (20 pts) Background: Figure 1 represents a sand-filled colu
NMT - GEOP - 570
Geoph ysics 570 plan for Spring 2002Rick Aster, MSEC 354, aster@dutc hman.nm t.edu; -5924 Jan uary 16, 2002 Geoph ysics 570 (Earthquak e Seismology) for 2002 will be a seminar class in Volcanic Seismology. Volcanic seismology is a young (and still s
NJIT - PHYS - 774
Dielectric function contributionsOptical vibrations (phonons) Free electrons (plasma) Electronic transitions (valence conduction band)Phys 774: IR spectroscopyFall 2007Dielectric function and refractive index are generally complex:r = r' + ir
Fayetteville State University - EML - 3100
Weeks 10/11: Properties of Pure Substances 31 Pure Substance 32 Phases of a Pure Substance 33 Phase-Change Processes of Pure Substances 34 Property Diagrams: PVT surface, Pv diagram,Tv diagram, PT diagram (phase diagram)35 Property Tables Int
NMT - ERTH - 140
NMT - ERTH - 140
NMT - ERTH - 140
ln(Nn) vs Stream Order4.50 f(x) = -1.37x + 5.66 R = 0.994.003.503.002.50 ln(Nn)2.001.501.000.500.00 0.5 1 1.5 2 2.5 Stream Order 3 3.5 4 4.5ln(Ln) vs Stream Order9.00 f(x) = 0.87x + 4.9 R = 0.998.007.006.00ln(Ln) (ft)5
NMT - ERTH - 140
NMT - ERTH - 140
Fayetteville State University - EML - 3013
EML 3013 Lab-3 Due Friday Feb. 23 before 5 pmSpring 2007(a) Determine and plot the accelerations of block A, aA, block B, aB, and the force acting between A &amp; B, F , if the tension force on the cable is increasing linearly from 0 to 300 N with a
Hofstra - CSC - 175
CSC17 New Assignment: Due Thursday 5/1 OVOAP: Our Very Own Authentication ProtocolWe've learned that authentication, or anti-spoofing, is a keyinstrument of network security. Packet filtering firewalls such asprovided by Lin
NMT - GEOP - 592
Distributed flood forecasting for different precipitation products in the Colorado Front Range H. Moreno, E. Vivoni, D. Gochis Abstract Radar-based and aircraft precipitation estimates can serve as input to distributed hydrological models to issue fl
NMT - GEOP - 592
Stress Changes and Aftershock Distribution of the Java Tsunami Earthquakes Tsunami earthquakes generate tsunami waves that are large with respect to its moment magnitude. The long rupture duration and low radiated energy (with respect to its momen
NMT - GEOP - 592
Depleted Oxygen Isotopes in Mt Erebus LavasOxygen isotope analysis of Mt Erebus lineage lavas indicates an anomalous trend of depletion with time well below the HIMU parent mantle source. Thirty lavas from the Mt Erebus suite, spanning from parental
NMT - GEOP - 592
A Scrutiny of the Abstract, IIK.K. Landes Ann Arbor, MichiganAbstract A partial biography of the writer is given. The inadequate abstract is discussed. What should be covered by an abstract is considered. The importance of the abstract is described
CSU Dominguez Hills - TBE - 540
TBE 540 Pseudocode to Flowchart Exercise Use the pseudocode to make a flowchart for the following program descriptions. Use these flowcharting symbols: START/END PROCESSINPUT/OUTPUTDECISIONProgram 1 The program will (1) ask for the user's name,
CSU Dominguez Hills - TBE - 540
MATH DRILL USING JAVASCRIPT&lt;script language=&quot;JavaScript&quot;&gt; var X = 0 var Y = 0 function getNum() { var X=Math.floor(Math.random()*11) var Y=Math.floor(Math.random()*11) Problem(X,Y) } function Problem(X,Y) { var stAns=prompt(X + &quot;+&quot; + Y + &quot;= ?&quot;, &quot; &quot;
NMT - ERTH - 140
NMT - ERTH - 140
NMT - ERTH - 140
NMT - ERTH - 140
ArticlesRestoring the Garden of Eden: An Ecological Assessment of the Marshes of IraqCURTIS J. RICHARDSON AND NAJAH A. HUSSAINThe Mesopotamian marshes of southern Iraq had been all but destroyed by Saddam Husseins regime by the year 2000. Earlie
NMT - ERTH - 140
Darfur CrisisRapid Environmental Assessment at the Kalma, Otash and Bajoum CampsJoint UNEP/OCHA Environment Unit.Published in Switzerland, 2004 by the Joint UNEP/OCHA Environment Unit Copyright 2004 Joint UNEP/OCHA Environment Unit This publi
Allan Hancock College - ISSUE - 009
Malcolm K. Read. Educating the Educators: Hispanism and its Institutions. Newark: University of Delaware Press, 2003. ISBN: 0-8741-3840-XVek LewisMalcolm Read says of his objective in writing his latest work, Educating the Educators: My aim throu
Fayetteville State University - PHY - 4605
() ~&lt;\)S~f1t, ~ -# 19,2.0.l+) =- ;- dt ei,1fjt2-(I.( {E~ - E,.)Tiil.~&lt;111 V{t'JI &quot;)I'(Wi1~+J2)t,W hA ;:;!.lE n ~ Ef4.l)/t; h,. 1-.I.~ii-) =ttl&quot;[f'&lt;VtI XI iJ,&gt;] -'-} e . 4-'- e; ( (,Jhk-t -(Wit &quot;.,+.JL
Fayetteville State University - PHY - 5246
PHY5246Theoretical Dynamics Problem Set 3 Due: Friday, Sept 22, 20063.1 Problem 2, GPS, Chapter 2, Pg. 63. 3.2 Problem 4, GPS , Chapter 2, Pg. 64. Hint: Curves on the sphere can be described by functions of the form () where and are the usual sph
Fayetteville State University - AST - 1002
AST1002 Lecture 14 Thursday, October 23, 200320% + 20% +20% + 15% + 25% = 100% + xtra creditIF number grade&gt;=90,&quot;A&quot;,IF&gt;=87,&quot;A-&quot;, IF&gt;=83,&quot;B+&quot;, IF&gt;=78,&quot;B&quot;, IF&gt;= 73, &quot;B-&quot;, IF&gt;=70,&quot;C+&quot;, IF&gt;=65, &quot;C&quot;, IF&gt;=60,&quot;C-&quot;,&quot;D&quot;I will give you your grade list aft
NMT - GEOP - 592
Analysis of an Extreme Monsoon Event on the Ecohydrologic and Geomorphologic Conditions of a Semiarid Basin Hugo A. Gutierrez JuradoA fundamental problem in hydrologic science lies in understanding the interrelation among soil development, water an
NMT - ERTH - 140
Water &amp; Salt Inputs/ OutputsAgricultural EvapotranspirationCourtesy F. Phillips and S. MillsCyclic salts and Weathering Open Water EvaporationRiparian TranspirationConsumptive use Waste waterSaline GroundwatersGeothermal watersConceptu
NMT - ERTH - 140
Vivoni, E.R., R.S. Bowman, R.L. Wyckoff, R.T. Jakubowski, and K.E. Richards. 2006. Analysis of a monsoon flood event in an ephemeral tributary to the Ro Grande and its downstream hydrologic effects. Water Resour. Res. 42:W03404, doi:10.1029/2005WR004
NMT - ERTH - 140
Juma, N. 1999. The pedosphere and its dynamics. Salmon Productions, Edmonton, Alberta, CanadaPore Space Air 20 30%Soil SolidsMineral 45%Water 20 30%Organic 5%Capillary Fringe(est. thickness) Soil Sands Silts Clays Range in Depth 0-3 in