FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups 
 ProfileProfile   PreferencesPreferences   Log in to check your private messagesLog in to check your private messages   Log inLog in 
Forum index » Science and Technology » Math » Symbolic
Back Reasoning from partial Syllogism [10]
Post new topic   Reply to topic Page 1 of 1 [1 Post] View previous topic :: View next topic
Author Message
slwu@sh163.net
science forum beginner


Joined: 17 May 2006
Posts: 9

PostPosted: Thu Jun 22, 2006 11:42 pm    Post subject: Back Reasoning from partial Syllogism [10] Reply with quote

Back Reasoning from partial Syllogism [10]
By Shilong Wu June 22, 2006
This back reasoning is to get the missing premises according to partial
premises and the conclusion. The Syllogism is invented by Aristotle 300
B.C. The traditional expression is as follow:
((A -> B) & (B -> C)) -> (A -> C)
& is logic and, -> is implication. Now we are going to remove (B -> C)
and using X to replace it. The following formula is appeared
((A -> B) & X) -> (A -> C)
This is one form of the back reasoning. The unknown variable X could be
solved. When X = ((NEW -> (B & A)) -> C), the new law is
((A -> B) & ((NEW -> (B & A)) -> C)) -> (A -> C)
the New is new appeared atomic that does not appeared at conditions.
This law can be read as (A -> C) could be reasoned from the conditions
(A -> B) and ((NEW -> (B & A)) -> C)。

More Massages see: http://groups.google.com/group/Concept-Algebra/

Welcome you to join above newsgroups to discuss Concept Algebra

Attention please:
The following backward reasoning
(X & (B -> C)) -> (A -> C)
will be appeared after tenth post.
Back to top
Google

Back to top
Display posts from previous:   
Post new topic   Reply to topic Page 1 of 1 [1 Post] View previous topic :: View next topic
The time now is Sat Nov 18, 2017 4:25 am | All times are GMT
Forum index » Science and Technology » Math » Symbolic
Jump to:  

Similar Topics
Topic Author Forum Replies Last Post
No new posts No Back EMF in Magnet? Euler Cheung Electromagnetics 1 Sun Jul 16, 2006 4:44 pm
No new posts No Back EMF in Magnet? Euler Cheung Physics 1 Sun Jul 16, 2006 4:43 pm
No new posts SF: Tandem factorization back, new approach jstevh@msn.com Math 28 Wed Jun 28, 2006 11:49 pm
No new posts Back FROM The Future 1 Jack Sarfatti Math 0 Wed Jun 28, 2006 6:25 pm
No new posts Easy Reasoning e_hobsbawm@hotmail.com Math 5 Tue Jun 27, 2006 10:25 am

Copyright © 2004-2005 DeniX Solutions SRL
Other DeniX Solutions sites: Electronics forum |  Medicine forum |  Unix/Linux blog |  Unix/Linux documentation |  Unix/Linux forums  |  send newsletters
 


Powered by phpBB © 2001, 2005 phpBB Group
[ Time: 0.0211s ][ Queries: 16 (0.0041s) ][ GZIP on - Debug on ]