Matematikai Logikai Műveletek. Az alábbi logikai feladat elég közismert: Ládikák meg lovagok és lókötők.
Indoklas Es Bizonyitas Digitalis Tankonyvtar from regi.tankonyvtar.hu Állításokból kiindulva a következőkben ismertetésre kerülő műveletek segítségével újabb állításokhoz juthatunk. Matematikai logikai műveletek, matematikai bizonyítási módszerek. Az alábbi logikai feladat elég közismert:
Legyen a és b két állítás.
Legyen a és b két állítás. Az így képezett összetett ítéletek igazságértéke pedig egyértelműen meghatározható a kiindulási ítéletek igazságértékeiből. Állítás és megfordítása, szükséges és elégséges feltételek, bemutatásuk tételek a matematikai logika a gondolkodás matematikai formában kifejezhetõ, matematikai eszközökkel. Ebben a tanegységben megismerkedsz a matematikai logika legfontosabb alapfogalmaival és műveleteivel, valamint a logikai műveletek tulajdonságaival.
Nincsenek megjegyzések:
Megjegyzés küldése