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.
2022. december 31., szombat
Feliratkozás:
Megjegyzések küldése (Atom)
Working with AI in real life
People can encounter and use AI in their work in many different ways. Here are three common examples: You can work as a professional who has...
-
A polgárháborúnak vége. Az egykori hős, Nathan Algren (Tom Cruise) nem találja a helyét a békés, egyre praktikusabb országban. A vakmerőség,...
-
És igen! Elkészül az Asimov-féle Alapítvány sorozat! https://www.youtube.com/watch?v=7pE6QHdcpZ4&feature=youtu.be&fbclid=IwAR33L9Rp...
Nincsenek megjegyzések:
Megjegyzés küldése