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)
Constructor Theory Explains Origin of Time
https://www.youtube.com/watch?v=WkIuIMbKny8 Most physicists believe that time fundamentally doesn’t exist, because the concept of time is i...
-
https://www.youtube.com/watch?v=7JkPWHr7sTY How will AI impact our immediate and near future? Can the technology be controlled, and does it...
-
https://www.youtube.com/watch?v=C1kuCIr_6MI As a viewer of my channel, you will get a special 20% off discount at the Economist! Head over ...
Nincsenek megjegyzések:
Megjegyzés küldése