-  Thu Mar 17, 2016 1:25 pm
					 #22526
							   
										
										
					
					
							Hi  
I am having trouble with formal logic. I tried following the bible but still got lost.
Here's another one I seem to be having trouble with.
Chapter 13 :
1) M<-some->N<-------->O
Step one : start from M and follow the train leads me to inference M some O which is so far cool !
But here comes the trouble. Since some statements could be read in both directions.. ( M some O OR O some M ) doesn't the inference then violate the rule of not combining some statements ?
Super confusing and so far I ain't a big fan f conditional logic !
John
					
										
					  															  								 I am having trouble with formal logic. I tried following the bible but still got lost.
Here's another one I seem to be having trouble with.
Chapter 13 :
1) M<-some->N<-------->O
Step one : start from M and follow the train leads me to inference M some O which is so far cool !
But here comes the trouble. Since some statements could be read in both directions.. ( M some O OR O some M ) doesn't the inference then violate the rule of not combining some statements ?
Super confusing and so far I ain't a big fan f conditional logic !
John



 
  
											 O, that was established as fact, and we are allowed to go "back" across that inference bridge, which allows us to infer O
 O, that was established as fact, and we are allowed to go "back" across that inference bridge, which allows us to infer O