Simple Browser : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term: 

  ValidDeductiveArgument

 Sigma KEE - ValidDeductiveArgument
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
valid deductive argument
A DeductiveArgument which is valid, i.e. the set of premises in fact entails the conclusion.
Relationships      
Parents deductive argument An Argument which has the form of a deduction, i.e. it is claimed that the set of premises entails the conclusion.


Show full definition (without tree view)
Show full definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners