2022. december 31., szombat

Ítéletlogika

Az ítéletlogika vagy ítéletkalkulus a formális logika azon ága, mely az egyértelműen igaz vagy hamis kijelentő mondatokkal, az ítéletekkel vagy – más szóhasználattal – kijelentésekkel foglalkozik. Fő problémája az ezek között értelmezhető műveletek, a logikai műveletek, illetve a különféle levezetések tanulmányozása.Az ítéletlogika tekinthető a matematika részének, és napjaink modern felfogásában annak is tekintjük (bár eredetileg a filozófia egy részterületeként fejlődött ki). Ha ezt a modern nézetet elfogadjuk, akkor az ítéletlogikát a kijelentéslogika egy részeként, mégpedig mint úgynevezett kétértékű nulladrendű kijelentéskalkulusként tárgyalhatjuk.

https://hu.wikipedia.org/wiki/%C3%8Dt%C3%A9letlogika

https://www.youtube.com/watch?v=jDmw3sOJwkA

Nincsenek megjegyzések:

Megjegyzés küldése

Shanghai

Táncoló, ugráló, önvezető, vízenjáró, vagy akár repülő autócsodák a Shanghai-i autószalonon! Kína valóban elrúgta a pöttyöst? Eldőlt? Ők dik...