CMPSC 360 Lecture Notes - Lecture 3: Predicate Variable, Formal Language

48 views3 pages

bluecat52

12 Jun 2019

School

Department

Course

Professor

For unlimited access to Class Notes, a Class+ subscription is required.

Document Summary

Section 3. 1 predicates and quantified statements i. Predicate: a sentence that contains a finite number of variables and becomes a statement when specific values are substituted for the variables. Domain of a predicate variable is the set of all values that may be substituted in place of the variable. A universal statement is a statement of the form x . A value for x for which q(x) is false is called a counterexample to the universal statement. It is defined to be true if, and only if, q(x) is true for every x in d. It is defined to be false if, and only if, q(x) is false for at least one x in d. There is a student in math 140 can be written as a person p such that p is a student in. Let q(x) be a predicate and d the domain of x.

Related Questions

9. Finally, you should write a program MontrealMaps which will suggest a path to go along the metro to get from one place to another. The only required method for MontrealMaps is a main method but of course you are allowed to write others. Your program should do the following. For any library methods that you use, make sure that you are properly importing things and handling any exceptions they may throw. (10 points) • Using an appropriate library method, you should create a Subway System object. If this method fails to initialize, you should print the message Error, not enough funding. • Use a Scanner and print statements to read the current x and y position of the user. • Use a Scanner and print statements to read the x and y position that the user wants to go to. . Find the nearest Metro Station to both the start position of the user and his final destination. • If the 2 metro stations have the same name (i.e. are the same metro station) then print It is fastest to walk there. • Otherwise, call the method findPath from the previous part to find a path from these 2 metro stations. . If the method returns null, then print Sorry, there is no path on the metro, you'll have to walk • Otherwise, print the path using the metro using the method printPath defined in the MapUtilities class in the appendix. SUMMARY OF JAVA STANDARD LIBRARY METHODS POR SELECTED CLASSES • String package java.lang) Methods - public boolean gist and e rs is stingeancoject - puble boolean grease Sering another ca t ering String paint i th Stre C h eshilly before the Stripe with striert w Single weiter water N ENE fusha -publish tohy Casting de . File( p age java.io) Methods r eate - publie Yiling path : C • Scanner (package java.ut 1) Method -ple S ule - double Double Sc - le bon when : S Scanner tal de fethede h able othebean - puble String Best Mus eethe u s tepal -pulle haalean haxtLine: Check the hea ther in left PrintStream( p age java.io) Methods pul vaid pri Pribonaat - puli wid pride d oble vile. - pille vaid print Print vei. -pulle vaid printject o: Prints Object -puli vaid printString : Prints String .. - vaid primi The theme line by writing the li n e tie id print in bool bl. Prise n value the - public void platinabled Prints double ved and then the line - public void printit Prints Ent value and then tomis the - Pull vaid pri l l be t he minime publie wild prin t ing with String in the terminates the line • ArrayLiat package java.util) Methods - public boolean Arraybettype was a new ArrayList

CMPSC 360 Lecture Notes - Lecture 3: Predicate Variable, Formal Language

Document Summary

Get access

Related Documents

CMPSC 360 Lecture Notes - Lecture 4: Contraposition, Vacuous Truth

CMPSC 360 Lecture Notes - Lecture 6: Modus Ponens, Universal Instantiation, Logical Form

I&C SCI 6B Chapter Notes - Chapter 1.4: Propositional Function, Universal Quantification, Existential Quantification

Related Questions