In Logical, the form of a Argumentation is valid , if it cannot carry out, starting from Prémisse S true with a conclusion distorts .

See Theorem of complétude of Gödel#Diverses equivalent formulations of the theorem of complétude for more details.

to see too

Random links:President of the Republic | Électrophile | Medical Fresenius Care | Ernst Elitz | How I Won the War

© 2007-2008 speedlook.com; article text available under the terms of GFDL, from fr.wikipedia.org