Ellenőrizze a gondolatmenet helyességét
É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.