COMPSCI 171 Quiz: 2016-wq-cs-171-quiz-3

21 views4 pages
31 Jan 2019
School
Professor

Document Summary

Quiz#3 winter quarter, 2016 20 minutes. Your id: (60 pts total, 5 pts each) logic concepts. For each of the following terms on the left, write in the letter corresponding to the best answer or the correct definition on the right. Chain of inference rule conclusions leading to a desired sentence. Specifies all the sentences in a language that are well formed. Describes a sentence that is true in all models. E stands for a proposition that can be true or false. Possible world that assigns true or false to each proposition. Describes a sentence that is false in all models. Defines truth of each sentence with respect to each possible world. An inference procedure that derives only entailed sentences. An inference procedure that derives all entailed sentences. The idea that a sentence follows logically from other sentences. Describes a sentence that is true in some model. One fish, two fish, red fish, blue fish. (with apologies to dr.