Alap rendszerek logikailag helyes érvelés - studopediya
Nyelv propozicionális logika tartalmaz szabályokat átalakítja logikai képleteket. Ezek a szabályok végrehajtása az általános logikai törvények és így egy logikailag helyes érvelés.
Következtetés (következtetés) - a folyamat új ismeretek megszerzése, expressz nyilatkozatok, a tudás a többi, amint azt a beszámolóban. Kezdeti nyilatkozatok nevezett helyiség (hipotézisek, feltételek), és az így kapott állítások - következtetés (következmény).
Felsoroljuk a leggyakrabban használt programok a logikailag helyes érvelés:
1. A foglyok jogainak - jóváhagyó modus: "Ha az állítások az A azt jelenti, B és az állítás igaz (true) állítás A, akkor B is igaz."
2. Denial jog - negatív modus: „Amennyiben Asleduet de Vneverno nyilatkozat, a hibás A.
3. A szabályok megerősítés-tagadás: „Ha ez igaz, vagy a nyilatkozat az A vagy B igaz (abban az értelemben, elkülönítés) és egyikük igaz, a másik hamis.
4. tagadás-jóváhagyási szabályok:
4.1. „Ha ez igaz, vagy A vagy B (abban az értelemben, elkülönítés) és egyikük rossz, majd egy igaz barát.”
4.2. „Ha A vagy B igaz (abban az értelemben, beleértve), és egyikük rossz, az igaz barát”:
5. szabály tranzitív: "Ha A azt jelenti, B, és B következik C, majd Asleduet C".
6. A törvény ellentmondás: „Ha egy arra utal, B, majd egy nem igaz”:
7. szabály contrapositive „Ha azt jelenti, B, akkor mi a baj az is következik, hogy ez rossz A.
8. szabály komplex contrapositive „Ha az A és B azt jelenti, C, akkor A és B legyen Nes Neuve.
9. A vágott szabály: "Ha A azt jelenti, B, és a B és C kell D legyen D, A és C".
10. szabály importatsii (egyesület parcellák):
11. szabály eksportatsii (elválasztási csomagok):
12. szabályzata dilemmák:
Megjegyzés. A konstrukció a logikai formulák tükröző fenti logikailag helyes érveket kell minden parcella csatlakozni ínszalag „és” (), és az így küldő általános csomó „, ha majd. »(→). Például az a szabály, következtetési kell képviselnie logikai képlet:
Példák a megfontolások nem megfelelőek a következők:
Annak ellenőrzésére, hogy ez a következtetés logikailag helyes, hogy állítsa vissza a rendszert az érvelés és meghatározza, hogy tartozik a rendszerek a logikailag helyes érvelés.
Melyik program tartalmazza a következő érv: „Ha a munkavállaló nem volt jelen a munkából, ő nem a feladat elvégzéséhez. Nem feladat elvégzésére. Következésképpen nem volt jelen a munkából. "
Jelölje az egyes egyszerű mondatokat: A - hiányzott a munkából; B - nem teljesítette a feladatot. Nem a feladat végrehajtásához (B). „Ha a munkavállaló És V. Az így ez egy”. Vezetési ez az érvelés érvényes a rendszerben (a) helytelen spekuláció.
Melyik program tartalmazza a következő érv: „Ez a személy egy diák, vagy egy üzletember. Ő egy diák. Következésképpen nem egy vállalkozó. "
Jelölje az egyes egyszerű mondatokat: A - diák; A - a tanár. Ez a személy az A vagy B A. Ezért nem. " Tekintettel arra, hogy az első mondatban a „vagy az” uniós értelemben használjuk a befogadó. Az áramkör megfelel a rendszer (a) helytelen spekuláció.
Melyik program tartalmazza a következő érv: „Ez az ember élt Moszkvában vagy Belgorod. Él Belgorod. Következésképpen, ő nem él Moszkvában. "
Jelölje az egyes egyszerű mondatokat: „Ez az ember élt Belgorod (A) vagy Moszkva (B). Ő nem él Belgorod (HEA). Ezért él Moszkva (B). " A gondolatmenet helyes.