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

Queen – Bohemian Rhapsody

 https://www.youtube.com/watch?v=fJ9rUzIMcZQ https://www.youtube.com/watch?v=N0dbGGvsjf8 Queen are a British rock band formed in London in 1...