Matematikai logika alapjai
Kattints a lejátszáshoz!
A tananyag tartalma
Matematikai logika alapjai
Megmutatjuk, mik a logikában az állítások, és hogyan kell tagadni az állítást. Ez a negáció művelete. Megismerkedünk a művelet igazságtáblájával.
Kétváltozós logikai műveletek: és, vagy, illetve a kizáró vagy (konjunkció, diszjunkció, antivalencia)
Ha két logikai állítást az "és" illetve a "vagy" kötőszóval kapcsolunk össze, egy új állítást kapunk. Megnézzük ezeknek az új állításoknak az igazságtábláját. Kitérünk arra is, hogy a "kizáró vagy" miben különbözik a "megengedő vagy"-tól. Feladatokat oldunk meg logikai állításokkal.