Igazolása a valóság logikai
Bizonyíték - egy logikai művelet, lendületes az igazság bármely ítélet más ingatlan és a hozzá kapcsolódó ítéletek.
Proof különbözik más érvek betétek, például következtetések, hogy annak célja, hogy érvényesítse érvényességi bizonyítható suzh Denia.
A bizonyítás három eleme: 1) egy dokkoló-kötési helyzet - értekezés; 2) A ítélete moslék-schyu, amely megalapozza a következők érvényességét értekezés - érv vagy érveket, vagy bizonyítékokat egy bázis; 3) a logikai kapcsolat érvekkel értekezés - rádió-display.
Az érvek a bizonyítási használjuk: a) igazolt a tényeket; b) A törvények a tudomány; c) a korábban bizonyult tétel; g) axiómák és posztulátumok; d) meghatározzuk eniya ??.
Mert egy megfelelő igazolást a folyamat rendkívül fontos figyelembe venni a követelmények vonatkoznak Sun ?? enni bizonyíték.
Az értekezés követelményeknek:
- a dolgozat kell lennie, hogy bizonyítani kelljen. Ez értelmetlen, hogy megpróbálja bizonyítani a nyilvánvaló, meghatározó ?? eniya fogalmak, tényállítás, elvtárs, axiómák, és feltételezi;
- A dolgozat legyen egyértelmű és pontos. Sok szavak egy természetes nyelv sokkal értékű és fuzzy, vagyis megzavarva dolgozat. Azonban meg kell jegyezni, hogy a dolgozat gyakran jobb, hogy nye ítéletek helyett általában. Egyéni megítélés könnyebb bizonyítani, és nehéz megcáfolni;
- a dolgozat ugyanannak kell maradnia egész nap ?? tanúvallomását. Előfordulás-nennaya error - a helyettesítés dolgozat. Kevesebb dis-prostranennaya - tézis veszteség.
az érveket a követelményeknek:
- érvek kell egy igaz ítéletet-s, és azok érvényességét bizonyítani kell. Követelményeinek megszegésével használatával kapcsolatos hamis argumenta͵ hívják etsya''osnovnym zabluzhdeniem '. Hiba, con-zannaya segítségével, legyen, és sáros-, de még nem bizonyított az argumentum neve Bas - „” predvoskhischenie vaniya „”;
- érvényessége érvek kell kialakítania Xia önállóan, azaz függetlenül a dolgozat ... Ha megsértik ezt a követelményt, van dolgunk hiba ismert as''krug a obosnovanii 'or''krut a dokazatelstve „”;
- egy sor gyelembe kell nem élelmiszer - ellentmondásos. Abban az esetben, ha az érvek ellentmondanak egymásnak, akkor legalább az egyikük hamis, és hamis érvek nem dock-kötő;
- egy sor érvek kellően pontosnak O-tézis. Az egyik érv a becsület nem adja igazolása a dolgozat, hogy akár egy megjelenés erő kicsi. De több érv-nek, amelyek a kölcsönös kommunikáció, képes, hogy egy szilárd logikai alapja vyvo da dolgozat. Ebben az esetben nem szabad visszaélni a-lichestvom érveket. Úgy kell dos tatochno megjelenítéséhez értekezés, és semmi több. Minden extra érv gyengíti bizonyító kielégítésére. Fontos, hogy ne az argumentumok száma és súlya.
bizonyítani a követelmény nem, hogy más, mint a követelményeket a következtetést. Kapcsolatos hibák megsérti a következtetési szabályok, amelyek közösek a cím - „” ne sleduet „” tézis nem következik logikusan, nem következik az érveket.
Indokolás Az értekezés a bizonyítási végezhetjük közvetlenül vagy közvetve. Ennek alapján kétféle bizonyíték.
Közvetlen bizonyíték - ez az indoklás Tezi sa érvek segítsége nélkül minden további konstrukciók-CIÓ. az érvelés ebben az esetben kezdődik érvek és logika rendkívül fontos e Tew vezet elismerése az igazság a dolgozat. Friend szóval, ha közvetlen bizonyíték rendkívül fontos, hogy meggyőző érveket, amelyek a lo-san követi a dolgozat.
Közvetett bizonyítékok - ez indokolt-tinnosti tézis keresztül antitézis - ítélet ellentétes a dolgozat. Mi indokolja a hamis az az ellentét, és a törvény alapján a kizárt harmadik st, megállapítva, hogy a két ellentétes ítéletek egyik feltétlenül igaz, ami azt bizonyítja, tinnost jelentése állításával ellentétben - Tezi-sa. Kétféle közvetett bizonyítékok.
Indirekt bizonyítás alapja a jog alkalmazását a kizárt közepén. Ez egy államilag is, hogy elkezdjük, hogy megszabaduljon az ellentéte a vizsgálatot, és azt mutatják, hogy ezek közül néhány track-Következmény (legalább egy), az ismert igazságokat NYM rendelkezések (tények). Τᴀᴋᴎᴍ ᴏϬᴩᴀᴈᴏᴍ elfogadása ellentéte ellentmondásra vezet (az abszurd), ebben a tekintetben meg kell ismerni a hamis. De aztán a dolgozat req-Dimo felismerni igaz.
Elválasztó közvetett bizonyíték áll az építőiparban az elválasztó ítéletek elemeit, amelyek bizonyítják a szakdolgozat és néhány összeegyeztethetetlen ez jóváhagyás (antitézis). Over-the mutatják, hogy, kivéve a dolgozat, a Sun ?? e-zsaruk elválasztó elem állítás hamis. A vizsgálók de fel kell ismernünk az igazi dolgozat.
lásd még
Előadás 5 Proof - egy logikai művelet támasztotta az igazság az ítélet más ingatlan és a hozzá kapcsolódó ítéletek. Proof különbözik más megfontolások, mint például az érvelés, hogy az a célja, hogy tanulmányozza. [További információ].