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

Generația Beta, prima care va prinde secolul XXII

Anul 2025 marchează începutul Generației Beta, formată din cei născuți între 2025 și 2039, iar părinții acestora sunt fie milenialii, fie re...