A keresés eredménye

A [[matematikai logika|matematikai logikában]] két formulát '''logikailag ekvivalensnek''' nevezünk, ha a benn …th>B</math> '''logikailag ekvivalensek''', ha tetszőleges <math>S</math> [[Matematikai struktúra|struktúra]] és e [[értékelés]] esetén <math>A\leftrightarrow B</m …

A [[matematika|matematikában]] és a [[logika|logikában]] indirekt bizonyításnak nevezzük azt a fajta bizonyítást, amelyb A matematikai logika nyelvén az indirekt bizonyítás az alábbi séma szerint működik: …

A '''Herbrand-interpretációk''' a matematikai [[logika|logikában]] használatos interpretációk egy speciális családját jelentik, me …e book|author=Pásztorné Varga Katalin, Várterész Magda|title=A matematikai logika alkalmazásszemléletű tárgyalása|publisher=Panem Kiadó, Budapest|year=2003|i …

…' a [[matematikai logika|matematikai logikában]], konkrétan az [[elsőrendű logika|elsőrendű logikában]] definiálható fogalom, formulák egy adott ''szemantika [[Kategória:Matematikai logika]] …

A [[logika|logikában]] a '''tautológia''' egy azonosan igaz állítás, másképpen ítéletl …, de annál szűkebb osztály. Van olyan vélekedés, miszerint a matematika és logika minden igaz állítása tautológia. …

Az esetszétválasztás szabálya a [[matematikai bizonyítás]]ok egyik módszere. Lényegében egy elméleten belül állítások iga Legyen <math>\mathfrak{T}</math> valamilyen matematikai elmélet, és ennek formulái '''A''', '''B''' és '''C'''. Ha <math>A\vee B,\, …

…hetőség''' a kétváltozós matematikai [[művelet]]ek egy tulajdonsága. Olyan matematikai műveleteket neveznek így, melyeknél az összetevők sorrendjének felcserélése …th> grupoidban.<ref name="Szendrei">Szendrei, Ágnes: ''Diszkrét matematika Logika, algebra, kombinatorika'', Polygon JATE Press, Szeged, 1994</ref> …

A [[logika|logikában]] azon szimbólumokat, melyeket [[konstans (matematika)|konstans]] …e book|author=Pásztorné Varga Katalin, Várterész Magda|title=A matematikai logika alkalmazásszemléletű tárgyalása|publisher=Panem Kiadó, Budapest|year=2003|i …

…tja, hogy a két mennyiség értéke megegyezik, vagy a kifejezések ugyanazt a matematikai szerkezetet írják le. ''A'' és ''B'' kifejezések egyenlőségét írásban ''A'' * <math>x=y</math> azt jelenti, hogy {{mvar|x}} és {{mvar|y}} ugyanazt a matematikai szerkezetet jelöli.<ref>{{harvnb|Rosser|2008|page=163}}.</ref> …

…''' ({{latinul|tertium non datur ''vagy'' principium tertii exclusi}}) a [[logika]] történetében többféleképpen megfogalmazott [[alapelv]]. Általánosabb megf === Arisztotelészi logika === …

Legyen '''Γ''' valamely [[ítélet (logika)|ítéletek]] összessége, <math>\mathcal{A}</math> pedig ebből levezethető ál |title=A matematikai analízis alapjai …

…Curry paradoxonja''' a [[naiv halmazelmélet]]ben és a [[matematikai logika|matematikai logikában]] működő [[paradoxon]], amely segítségével tetszőleges állítás le == A logika nyelvén == …

[[Logika]]i megfelelőjének a következő szabályokat szokás tekinteni:<ref>{{Opcit|n… …l teljesülnie, hogy ez a fajta következtetés alkalmazható legyen. Az ilyen matematikai bizonyítások végét gyakran jelölik az informális villám (U+21AF: ↯) szimból …

…gi [[logikai tétel|tétel]] azt mondja ki, hogy minden ellentmondásmentes [[matematikai elmélet|elmélet]]nek van megoldhatatlan problémája, addig ez a tétel konkré …[Molnár Zoltán Gábor]]| date = 2017-06| publisher = Érintő ([[Bolyai János Matematikai Társulat]])| quote = | accessyear = 2018| language = magyar}} …

…változókkal stb. a használatos kifejezésmód, habár a [[matematikai logika|matematikai logikában]] és az [[analitikus filozófia|analitikus filozófiában]] abszolút …><ref>[[Gottlob Frege|Frege, Gottlob]]: ''[[Függvény és fogalom]]''. In: ''Logika, szemantika, matematika'', Gondolat, Bp., 1980.; 109-110. o.</ref> …

…rekurzív függvények''' definíciója a [[bizonyításelmélet]] ([[matematikai logika]]), illetve a [[komplexitáselmélet]] egyik fontos fogalma. Bizonyos, a term [[Kategória:Matematikai logika]] …

'''[[Kurt Gödel|Gödel]] teljességi tétele''' a [[matematikai logika]] fontos tétele, azt mondja ki, hogy ha egy elsőrendű elméletben egy tetsző …arphi_0,\varphi_1,\dots</math>. Soroljuk fel a kibővített nyelv [[Kvantor (logika)|kvantorral]] kezdődő formuláit is: <math>(\exists x)\psi_0(x),\dots</math> …

A '''Herbrand-univerzum''' a [[matematikai logika|matematikai logikában]] egy [[logikai nyelv]] jelkészletéből felépíthető összes ún. ''[ * Pásztorné Varga Katalin – Várterész Magda: ''A matematikai logika alkalmazásszemléletű tárgyalása,'' Panem, Bp., 2003. {{ISBN|963-545-364-7}} …

…lik a 0 vagy 1 számot. Alkalmazásait tekintve kiemelkedőnek tekinthető a [[logika]] ''igaz''-''hamis'' értékeléseinek modellezése ([[ítéletlogika]]) és a [[d [[Kategória:Logika]] …

A [[matematikai logika|matematikai logikában]] közelebbről a [[modellelmélet]]ben '''típus'''on egy [[elsőrend …leggyakoribb kérdés, hogy a nyelv egy <math>\mbox{ }_\mathfrak{A}</math> [[matematikai struktúra|modellje]] mikor ''valósítja meg'' (realizálja), azaz ''A''-ban… …