Ellenőrzés A gondolatmenet helyességét - studopediya
Érv az állítás, hogy egy kijelentés (a következtetésre) következik más nyilatkozatok (helyiségek). Az érvelés csak akkor megfelelő, ha a összefüggésben a parcellák megkötendő, t. E. között konjunkciója feltételezések és következtetés aránya vizsgálatot. Ha P1. P2. Pn - küldés és Q - Végül az érv helyes, ha a nyilatkozat a P1 Ù P2 Ù. Ù Pn és Q arány beállításakor vizsgálatot. Ebben az esetben a következménye P1 Ù P2 Ù. Ù Pn ®Q lehet azonosan igaz állítás (tautológia).
Helyességét az érveket lehet állítani megszerkesztésével kimutatások S = P1 igazságtáblázatot ÙP2 Ù. ÙPn ®Q és ügyelve arra, hogy azonosan igaz.
A nagy számú parcellák beállítva, hogy tautológia, mert sokkal kényelmesebb segítségével átalakulás állítások egyenértékűek a formula tautológia.
„Épp ellenkezőleg” módszer az a feltételezés, hogy ez a következtetés hamis, és a létesítmény a tény, hogy ez az összefüggés a P1 Ù P2 Ù. Ù Pn - hamis (ez a helyzet abban az esetben, legalább az egyik Pi () parcella beállítása „false”). Ha ez megtörténik, akkor az érvelés érvényes, egyébként - nem. Így abban az esetben helyes érvelés azt látjuk, hogy a hatása S = P1 Ù P2 Ù. Ù Pn ®Qº1, t. K. Offline logikai lehetőség, megfelelő P = P1 Ù P2 Ù. Ù Pn = 1, Q = 0, ahol P®Q vonatkozások értéke hamis.
„Ha a függvény folytonos egy adott intervallumban, és különböző jelek végein, majd az intervallumon belül funkció eltűnik. A funkció nem vész el egy adott intervallumban, de más jelek végein az intervallumban. Ezért a függvény nem folytonos. "
Előfeltétele és következtetés ebben az érvelésben állnak a következő alapvető nyilatkozatai:
A - «függvény folytonos egy adott intervallumban”
B - «funkció a különböző jeleket végein az intervallum”
C - «funkció eltűnik egy adott intervallumban.”
Ezzel a jelöléssel írhatunk feltevést és a következtetés formájában képletek:
AÙB®C (1. parcella P1)
ÙB (2. parcella P2)
Ha a hatása (AÙB®C)Ù( ÙB) ® = P®Q azonosan igaz, akkor a jobb érv. Hogy ellenőrizze a helyességét érvelés építmények igazság táblázat:
Látjuk, hogy az érvelés érvényes. Megvizsgálták a helyességét ezt az érvelést a ellentmondás. Tegyük fel, hogy Q hamis következtetést. Megmutatjuk, hogy ebben az esetben az összefüggésben a helyiségek P1 ÙP2 jelentése hamis, t. E. P → Q tautológiánál.
Sőt, ha Q = false, akkor A igaz. Hagyja, P2 = B igaz, akkor B - igaz - .. Valóban, azaz C - hamis, de ebben az esetben van beállítva, hogy téves, hiszen P1 = AV®S úgy érték hamis, mert AB = 1 és C = 0, amely ellenőrizni kell.
A helyességét érvelés lehet ellenőrizni átalakításával képletű P1 ÙP2 egyenértékű néhány formula, amely egyértelműen meghatározza azonosan igaz állítás.
Ez úgy történik, miután elolvasta az úgynevezett teljesen normális formája propozicionális algebra képleteket.