Logic

In: Philosophy and Psychology

Submitted By Juraiya
Words 661
Pages 3
Među donjim tvrdnjama o valjanosti zaključka označite istinite:
[pic]
1. U[pic] F[pic] T[pic] Svaki zaključak u kojem su premise kontradiktorne je valjan. 2. U[pic] F[pic] T[pic] Ako ne postoji interpretacija u kojoj su premise istinite, a konkluzija nije zaključak je valjan.
Metodom istinosnih tablica provjerite donje sudove i označite tautologije.
[pic]
1. U[pic] F[pic] T[pic] ((r → s) v (r → r)) 2. U[pic] F[pic] T[pic] (((p & r) → p) & (r v r)) 3. U[pic] F[pic] T[pic] (q v ( ¬ p v (p v r))) 4. U[pic] F[pic] T[pic] ( ¬ (r v q) → ((r v r) & q)) 5. U[pic] F[pic] T[pic] ((p & p) v (q → (q v q)))

Top of Form
Koji zapis u logici predikata najbolje prikazuje rečenicu: "Neki veseli (V) ljudi (L) su debeli (D).".
[pic]
1. [pic] ∃ x (Lx & Vx & Dx) 2. [pic] ∃ x ((Lx & Vx) → Dx) 3. [pic] no answer
Bottom of Form
Provjerite donje formule metodom istinosnog stabla. Ako su valjane, označite ih i dokažite ih prirodnom dedukcijom.
[pic]
1. U[pic] F[pic] T[pic] (r → ((p & p) v (q → q))) 2. U[pic] F[pic] T[pic] (p → ((p v q) v (q & s))) 3. U[pic] F[pic] T[pic] ((q & (s & p)) → r)

Top of Form
Metodom Reductio ad absurdum provjerite donje sudove i označite tautologije.
[pic]
1. U[pic] F[pic] T[pic] ((s → r) → ((s → p) & q)) 2. U[pic] F[pic] T[pic] ((q → p) → (q v (p v s)))
Bottom of Form

Top of Form
Pravilo koje ćemo koristiti kao posljednji korak u dokazivanju da ∀x∀yPxy⊢∀y∀xPxy je:
[pic]
1. [pic] Egzistencijalna generalizacija 2. [pic] Egzistencijalna instancijacija 3. [pic] Univerzalna generalizacija 4. [pic] Univerzalna instancijacija 5. [pic] no answer
Bottom of Form

Top of Form
Rečenicu „Postoje točno dvije mačke.“ u jeziku logike predikata zapisujemo:
[pic]
1. [pic] ∃x∃y((Mx & My) & ∀z(Mz→(z=x v z=y))) 2. [pic] ∃x∃y(Mx &…...

Similar Documents

Logics

...Introduction to Logic GROUP A 1) The following argument involves the use of emotionally loaded language. Is it wrong to conduct medical research on animals? Is it wrong to trap an innocent creature, one whose only crime is availability and no representation, to confine it in dreadful isolation, in an inhumanely small space whose environmental conditions are foreign, to force feed it on the cheapest diet possible, and, in the interim, to perform ungodly acts upon it causing horrible pain? a) Write a well-crafted version of the argument, replacing the emotionally loaded verbiage with more neutral language. b) Examine each statement and explain with reference to the language and sentences used as to how you could decide whether this argument is valid or invalid. c) Give one example each of how hedges and assurances are used in arguments that are not well-crafted. d) Demonstrate or give an example of how non-uniform language is used in arguments that are not well-crafted. e) Write a counterargument to the passage above. Mercy killing is morally permissible only if it promotes a greater amount of happiness for everyone affected than the alternatives do. And mercy killing does promote a greater amount of happiness for everyone affected than the alternatives do. Therefore, mercy killing is morally permissible. f) Use as many......

Words: 405 - Pages: 2

Logic Application

...Logic Application Jessica Mitrov Mat/104 October 28,2013 Rami Hanbali Logic Application We are given an illogically logical problem. When reading the clues that we are given it makes no sense what so ever. I read the problem multiple times and no matter what way I read it there never seemed to have any logic to it. So I will show you the important facts that were given to us, the strategy I used, I will also give you a blow by blow on how to solve the problem, and finally tell you the answer to how Andy figured out what his cards were. By the end of this paper you will see how this illogical problem actually is a very logical problem. The most important information that is given to you in an indirect way is that you have to find the missing information to make the illogical problem become logical. You are told that you plus three other people have cards with numbers anywhere between one and nine. You are given the numbers to Andy, Belle, and Carol. They also tell you that Andy sees two people that have cards that have the same sum, and that Belle sees all of the odd numbers between one and nine. Now that we know the information that we found out that the problem makes no sense our strategy is to use logic and deductive reasoning. In order to do that you have to find out what your three cards are. Once you know that then the answers to the two questions will make since, and from there you will be able to figure out how Andy was able to guess what his cards are. So......

Words: 779 - Pages: 4

Logic

...Logical Concepts an overview What is logic? •  Logic is the science of reasoning, •  which is to say: the academic discipline that investigates reasoning. What is reasoning? •  reasoning is inferring (deducing) •  to infer is to draw conclusions (output) from a premise or set of premises (input). An Example of Reasoning You see smoke And you infer That there is fire (input) (deduce) (output) Another example of Reasoning You count 19 people in a group; which originally had 20 people in it; and you infer that someone is missing (input) (input) (deduce) (output) The Basic Idea Logic evaluates reasoning in terms of arguments. What is an argument? •  The word “argument” can mean many different things depending on the context. •  But for the purposes of logic, the term “argument” means something very specific: What is an argument? •  an argument is a collection of statements, one of which is designated as the conclusion, and the remainder of which are designated as the premises. •  Important note: premises are always intended to provide support or evidence for the conclusion, but they don't always succeed. (It’s still an argument either way.) What is a statement? •  A statement is a declarative sentence, •  i.e., a sentence that is capable of being true or false. •  For example: The door is closed. •  Other kinds of sentence are not capable of being true or false: •  Interrogative sentences are inquiries for information: Is the......

Words: 2744 - Pages: 11

Logic

...Class: BBA 1 (Section B) Course title: Introduction to logic Assignment no 1 Chapter no 3 Categorical proposition Submitted to: Sir Imran Exercise I. State the converses of the following proposition and indicate which of them are equivalent to the given proposition. 1. No people who are considerate of others are reckless drivers who pay no attention to traffic regulations. Answer: No reckless drivers who pay no attention to traffic regulation are people who are considerate of others. (Equivalent) 2. All those who pass the NDA exam are commissioned officers in Indian army. Answer: *All commissioned officer in Indian army are those who pass NDA exam. (Not equivalent) *Some commissioned officer in Indian army are those who pass NDA exam. (Limit) (Equivalent) 3. Some Korean cars are overpriced and inferior quality automobiles. Answer: Some overpriced and inferior quality automobiles are Korean cars. (Equivalent) 4. No reptiles are warm-blooded animals. Answer: No warm-blooded animals are reptiles. (Equivalent) 5. Some film producers are elderly persons who are incapable of producing works of quality anymore. Answer: Some elderly persons who are incapable of producing works of quality anymore......

Words: 525 - Pages: 3

Logic Circuit

...LOGIC GATES In electronics, a logic gate is an idealized or physical device implementing a Boolean function; that is, it performs a logical operation on one or more logical inputs, and produces a single logical output. Depending on the context, the term may refer to an ideal logic gate, one that has for instance zero rise time and unlimited fan-out, or it may refer to a non-ideal physical device[1] (see Ideal and real op-amps for comparison). Logic gates are primarily implemented using diodes or transistors acting as electronic switches, but can also be constructed using electromagnetic relays (relay logic), fluidic logic, pneumatic logic, optics, molecules, or even mechanical elements. With amplification, logic gates can be cascaded in the same way that Boolean functions can be composed, allowing the construction of a physical model of all of Boolean logic, and therefore, all of the algorithms and mathematics that can be described with Boolean logic. Logic circuits include such devices as multiplexers, registers, arithmetic logic units (ALUs), and computer memory, all the way up through complete microprocessors, which may contain more than 100 million gates. In practice, the gates are made from field-effect transistors (FETs), particularly MOSFETs (metal–oxide–semiconductor field-effect transistors). Compound logic gates AND-OR-Invert (AOI) and OR-AND-Invert (OAI) are often employed in circuit design because their construction using MOSFETs is simpler and more efficient than...

Words: 2523 - Pages: 11

Logic

...Part one of the video opens up by telling viewers that Aristotle is credited with formalizing logic as a discipline. Viewers are directed to the aspect of what arguments are in the area of logic. Arguments are not heated exchanges or personal assaults, but however they are a group of statements. Statements are sentences capable of being true or false. An example of a statement is saying, “All cats are vicious animals.” The next topic that is brought up in part one of the video is the subject of inference. Inference is the reasoning process of an argument. Inference can be explicit (using premise and/or conclusion indicator words) and implicit (the reader has to catch the inference). Finally the video concludes with the point that there are four non-inferences commonly mistaken for arguments these are: advice, assertion, reports, and explanations. Part two of the formal logic video is the topic of inference. As stated in the early video inference is the reasoning process of an argument. Viewers are now introduced with the topic of deductive and inductive arguments. A deductive argument means that there is no possibility of the conclusion being false when the premises are true. Inductive arguments mean that the premises merely make the conclusion likely (conclusion “goes beyond” the premises). Lastly inductive forms are arguments based on signs, prediction, and generalization just to name a few. Part three of the video talks about validity, strength, soundness, and......

Words: 423 - Pages: 2

Logic

...CHAPTER 2 Identifying Arguments The starred items are also contained in the Answer Key in the back of The Power of Logic. Exercise 2.1 Part A: Arguments and Nonarguments *1. 2. 3. *4. 5. 6. *7. 8. 9. *10. 11. 12. *13. 14. 15. *16. 17. 18. *19. 20. 21. *22. 23. 24. 25. Nonargument (explanation). Nonargument (conditional statement). Nonargument (report). Argument. Conclusion: Waging war is always wrong. Nonargument (explanation). Argument. Conclusion: Today the principal threat to America is America’s public education establishment. Argument. Conclusion: Without us, light does not exist. Nonargument (conditional statement). Nonargument (report). Nonargument (explanation). Nonargument (explanation). Argument. Conclusion: The population of the world has grown both steadily and rapidly since 1950. Nonargument (report). Argument. Conclusion: James died because he was hanged. Argument. Conclusion: Not all mob bosses avoid prison. Nonargument (illustration). Nonargument (conditional). Nonargument (illustration). Nonargument (conditional). Argument. Conclusion: The U.S. policy of nuclear deterrence was immoral. Nonargument (conditional). Argument. Conclusion: The good don’t always die young. Nonargument (explanation). Argument. Conclusion: Some metals are liquids at room temperature. Argument. Conclusion: Stealing is wrong simply because society disapproves of it. Exercise 2.2 Part A: Identifying Arguments *1. 1. The defendant is insane. So, 2. The defendant is not......

Words: 5559 - Pages: 23

Logic

...Logics Introduction to Logic GROUP A 1) The following argument involves the use of emotionally loaded language. Is it wrong to conduct medical research on animals? Is it wrong to trap an innocent creature, one whose only crime is availability and no representation, to confine it in dreadful isolation, in an inhumanely small space whose environmental conditions are foreign, to force feed it on the cheapest diet possible, and, in the interim, to perform ungodly acts upon it causing horrible pain? a) Write a well-crafted version of the argument, replacing the emotionally loaded verbiage with more neutral language. b) Examine each statement and explain with reference to the language and sentences used as to how you could decide whether this argument is valid or invalid. c) Give one example each of how hedges and assurances are used in arguments that are not well-crafted. d) Demonstrate or give an example of how non-uniform language is used in arguments that are not well-crafted. e) Write a counterargument to the passage above. Mercy killing is morally permissible only if it promotes a greater amount of happiness for everyone affected than the alternatives do. And mercy killing does promote a greater amount of happiness for everyone affected than the alternatives do. Therefore, mercy killing is morally permissible. f) Use......

Words: 301 - Pages: 2

Logic

...1.2.1.AK Combinational Logic Design Introduction Combinational and sequential logic are the fundamental building blocks of digital electronics. Combinational logic, which is sometimes referred to as "combinatorial logic”, is characterized by its output being a function of the current input value. A variety of different logic gates can be used to implement combinational logic circuits. Many of these gates will be studied in future units of this course. In this introductory unit, we will limit our designs to AND, OR, and INVERTER gates for the sake of simplicity. In this activity you will use the Circuit Design Software (CDS) to build and test your first combinational logic circuits. Equipment * Circuit Design Software (CDS) Procedure Now it’s time for you to implement your first AOI combinational logic circuit. The circuit that we will use for this purpose is a Car Safety Buzzer design.The design specifications are as follows: The buzzer is on whenever the door is open or when the key is in the ignition and the seat belt is not buckled. 1. Create a table that describes these design specification in terms of “highs” (1) and “lows” (0). This is when the sensor or indicator is active or not active. Seat Belt | 0 = SEAT BELT NOT BUCKLED | | 1 = SEAT BELT BUCKLED | Key | 0 = KEY NOT IN THE IGNITION | | 1 = KEY IN THE IGNITION | Door | 0 = DOOR IS NOT OPEN | | 1 = DOOR IS OPEN | Buzzer | 0 = BUZZER is OFF | | 1 = BUZZER is ON | 2.......

Words: 690 - Pages: 3

Logic & Fallacies

...INTRODUCTION LAW FOUNDATION LAW AND … 1. LOGIC 2. SCIENCE 3. THEORY 4. SOCIAL PROBLEMS LAW FOUNDATION Critical = informed and logical Responsible = social equity Creative = independent and considered Interrelations -- with other disciplines and institutions Historical, philosophical, economic, political and social context == acquaintance with historical development of theory Contemporary social issues: · Terrorism · Refugees · Crime and punishment Historical context John Locke? Karl Marx? LOGIC What is wrong with this statement? In the war on terror, you are either with us or against us Which of the following is sound? All men have hair I have hair Therefore I am a man All men have hair I am a man Therefore I have hair Logic definitions Logic = science that evaluates arguments Argument = group of statements, with premises claimed to support conclusions [also inference] Statement = sentence that is either true or false [also proposition] Premise = statement setting forth reasons or evidence Conclusion = statement that the evidence is claimed to support or imply Arguments and non-arguments Arguments must have a factual claim and an inferential claim. The following are not arguments: · warnings or advice · belief or opinion · loosely associated statements · factual reports · explanations · illustrations · conditional statements Deduction and......

Words: 2057 - Pages: 9

Logic

...deserve a second chance on a new planet." "Maybe so," Claudia says in a patronizing tone."And now that you mention it, we probably have a legal obligation to let them in. Our current immigration laws say that we have to admit at least ten thousand applicants annually, from every major nation. If those aliens would just sign the right papers, we'd have to give them permanent resi­ dency. However, what worries me is, they may have the wrong intentions. After all, didn't they conduct experiments on those people they abducted?" "Yes, but don't we experiment on animals? If the animals don't complain, why should we? Also, medical experimentation often leads to wonderful new cures. I'm certain we have nothing to worry about," says Ralph, proud of his logic. "Humph! I hope you're right. Well, I've got to go now-and don't let any green men kidnap you," Claudia says with a barb. "And you, either," Ralph answers. 3.4 Fallacies of Presumption, Ambiguity, and Grammatical Analogy The fallacies of presumption include begging the question, complex question, false dichotomy, and suppressed evidence. These fallacies arise not because the premises are irrelevant to the conclusion or provide insufficient reason for believing the conclusion but because the premises presume what they purport to prove. Begging the question presumes that the premises provide adequate support for the conclusion when in fact they do not, and complex question presumes that a question can be answered by a sim­ ple......

Words: 9519 - Pages: 39

Logic

...Administration Presentation Questions Module Name: Introduction to Logic Module Code: ECO1015 GROUP A 1) The following argument violates some principles of well-crafted Arguments: While 1[there is much wickedness in the world,] 2[there is also much good.] For 3[if there is evil, then there must be good,] since 4[good and evil are relative, like big and small.] And no one will deny that 5[evil exists.] Answer questions ‘a’ to‘d’ below from the passage above. a) Identify and give the names of two (2) excess verbiages used in the passage. b) Write a well-crafted version of the argument by eliminating all excess verbiages and restructuring the argument if necessary. c) Construct an argument diagram to help you to identify the logical structure of the argument. d) Examine each statement and explain with reference to the language and sentences used as to how you could decide whether this argument is valid or invalid. e) Give one example each of how hedges and assurances are used in arguments that are not well-crafted. f) Demonstrate or give an example of how non-uniform language is used in arguments that are not well-crafted. g) Construct an example of an enthymeme that has all categorical statements. h) Explain exactly what makes the argument in ‘g’ above an enthymeme. i) Use any appropriate method learnt in logic to test and report on the validity of this enthymeme. j) Where an argument form......

Words: 570 - Pages: 3

Intro to Logic

...INTRODUCTION The Study of Logic Definition Derived from the Greek word ”logos” which means - study, reason or discourse LOGIC is the science and art of correct thinking - it is a SCIENCE because it is a systematized body of logical truths and principles governing correct thinking - as an ART, logic is a “techne” and it teaches how to make a good argument - often called the arts of arts because it develops and perfects the intellect which all artists need in their work Logic and correct thinking It is “correct” when it conforms to a pattern or to rules Example: A ruler is 12-inch long Pres. GMA is a ruler Therefore, Pres. GMA is 12-inch long -THINKING is a mental process – involves analysis, definition, classification, comparison and contrasts, etc. - It guides or directs man to form correct ideas Branches of logic FORMAL LOGIC -concerned with the aspect of form which has something to do with the correctness or sequence or the following of rules Ex. All men are mortal but Pedro is a man therefore Pedro is mortal Branches of logic MATERIAL LOGIC -concerned with the aspect of subject matter or content or truth of the argument Example: A ruler is 12-inch long Pres. GMA is a ruler Therefore, Pres. GMA is 12-inch long KINDS Deductive Logic: from more to less Inductive Logic: implies a sense of probability Concepts and terms The three essential operations of the intellect concept The......

Words: 2223 - Pages: 9

Logic

...Logic Application Project Student Name: _______________________, _______________________ Last Name First Name The Problem: How can you found out what cards you have? The Approach: First, we should examine the stated facts that Andy has the cards 1 3 7 while Belle has the cards 3 4 7 and Carol has the cards 4 6 8. Then the second thing we will look at is their answer on the question cards that they draw. Combining the information given and their answers on the question cards, we can figure out what is the connection of these to your own cards, and that’s how we will figure out what cards you have. Conclusion: First, by examining the stated facts that Andy has the cards 1 3 7 while Belle has the cards 3 4 7 and Carol has the cards 4 6 8, and the answer of Belle to his question card, knowing that she sees Andy, Carol and yours, she says that she sees all of them, the five odd numbers on the cards that she can see and Carol don’t have any odd number on her cards so the ones that are left is you and Andy. Andy has three odd numbers of each kind on his cards and that would leave a conclusion that you have two odd numbers on your cards. Looking back to the answer of Andy to the question “Do you see two or more players whose card sum to the same value?” and answered “Yes”, knowing that the cards he can see are yours, Belle and Carol, and the sum of Belle’s cards and Carol’s cards are not the same, we can conclude that one of them have...

Words: 982 - Pages: 4

Logic

... Logic Application After evaluating the game of “Guess your Card”, I assume that my cards could only be 4, 5, and 9. I came up with this logic by starting with Andy. I add all three numbers together from each player. Andy has the cards of 1, 3, and 7 with a sum of 11. Belle has the cards 3, 4, and 7 with a sum of 14, and Carol has the cards 4, 6 and 8 with a sum of 18. Since each player have a different sum I took the players with the highest sum which is Belle and Carol to see which player cards would add up with my cards. Next, Belle draw the question card, “of the five odd numbers”, how many different odd numbers do you see? She answer all of them. Only because the only odd numbers she see is from Andy and Carol which are 1, 3, and 7. That's how I came up with the numbers of 5 and 9. I then, add together 5 and 9 which is 14, let's not forget in the beginning I said the sums must add up to either 14 or 18. Since 5+9=14, and the smallest card is 1 so my cards must add up to more than 14. The sum of my cards must be 18. In order for me to find out what is my final card I must subtract 18 from 9 and 5 which gives me 4. You can also see why Andy knew what cards he had. He realize that the only odd numbers Belle could see from Carol and myself were 5 and 9, but yet she claim she could see all five odd numbers. So the remaining three: 1, 3 and 7 must have come from Andy himself. That's how he figure out what he had. The logic of......

Words: 342 - Pages: 2

Jio Pagla 2017 Bengali Full Movie | Understanding File Systems - 1118 Words | Castle Rock