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.