ítéletlogika
Ítéletlogika mint formális rendszer
Szillogisztikus Arisztotelész egyik legegyszerűbb formális rendszerek, amelyek nem teszik lehetővé, hogy meghatározza komplex kapcsolatok tartományban. Például Arisztotelész syllogistics nincs logikai műveleteket. Ítéletlogika bonyolultabb formális rendszer, és így lehetővé teszi, hogy meghatározza bonyolultabb összefüggések tartományban. Mi határozza meg a komponensek a formális rendszer.
- kisbetűk (a, b, c, stb), kijelölő az elemi megnyilatkozás;
- a szimbólumok a logikai műveletek: ¬ (tagadás), összefüggésben () diszjunkció (), a hatása (→), az egyenértékűség (↔);
Szabályai építése egy szintaktikailag helyes képletek L:
1. Minden egyes elemi állítás helyes képlet.
2. Ha az 1. és 2. helyes képlet, majd jobbra megfogalmazása
E is ¬ az 1. (1 2) (s 1 s 2), (1 → 2), (1 ↔ 2).
3. Egyéb helyes képletek a matematika nem nyilatkozatokat.
Axiómák érvényesek, az eredeti képlet alkalmazandó problémára. A konstrukció axiómák kell, hogy mit jelent az olyan fogalmakat, mint „elemi állítás”, „logikai operátor” vagy „osztályú képleteket.”
Nyilatkozat - az ajánlatot, hogy csak két érték: igaz vagy hamis. Ez az úgynevezett alap állítások, amelyeket nem lehet részekre osztani.
Elemi kijelentések: a - „Sertés nem repülnek” (az állítás mindig igaz), b - „Pigs falánk” (az állítás mindig igaz), és - „Minden madarak repülnek” (az állítás mindig hamis) d - „az állat egy madár” (az igazság nyilatkozatok meghatározása függ, amelyen állati értjük).
Azonban más összefüggésben azt mondja: „Sertés nem repülnek” lehet tekinteni, mint egy komplex nyilatkozatot, és lesz osztva két állítás: a - «kisállat disznó”, b - »az állat nem repülni.«
Általában ez egy elemi állítás, attól függ, hogy a célja a probléma kiküszöbölése.
A logikai műveletek lehetnek komplex kifejezések (képletek). Jelentés tranzakciók az igazság asztalra.