|  | 
			
				|  | 
			
				|  | 
			
				|  | 
			
				|  | 
			
				|  | 
			
				|  | 
			
						| 
					
						| 
							Logic
								|  |  
								| Aristotle, 384–322 
								BCE. |  
 Logic is the science of reasoning. Logic helps people 
						decide whether something is true or false.
 
 A popular example of a syllogism given by Aristotle:
 |  
						| 
						All men are mortalSocrates is a manTherefore, Socrates is mortal. |  | 
			
						| 
					
						| Logical proof 
 A logical proof is a list of statements. Each statement in 
					the proof is either an assumption or has been proven to 
					follow from earlier statements in the proof. A proof shows 
					that one statement, the conclusion, follows from the 
					assumptions. One can, for example, prove that "Aristotle is 
					mortal" follows from "Aristotle is a man" and "All men are 
					mortal".
 |  | 
			
						| 
					
						| Uses 
 Logic is used by computers in what is called an 
						algorithm. An algorithm is sort of like a cooking 
						recipe; it tells the computer what to do and when to do 
						it.
 
 Logic is used in mathematics. People who study math 
						create proofs that use logic to show that math facts are 
						correct. There is an area of mathematics called 
						mathematical logic that studies logic using mathematics.
 
 Logic is also studied in philosophy.
 |  | 
			
						|  | 
			
						|  | 
			
						|  | 
			
						|  | 
			
						|  | 
			
						|  | 
			
						|  | 
			
						|  | 
			
						| Search Fun Easy English | 
			
						|  | 
			
				|  | 
			
				|  | 
			
				|  | 
			
						|  | 
			
						|  | 
			
						|  | 
			
						| About   
					
						Contact   
								
								Copyright   
								
					Resources   
								
								Site Map |