Bilaketaren emaitzak
Nabigaziora joan
Bilaketara joan
Emaitzak artikuluen izenburuetan
- ...deduzitzeko baliatu den prozesu logikoa edo argumentua zuzena den baizik. Logika proposizionala [[XIX. mendea]]ren amaieran asmatu zuen [[Charles Sanders Pe ...tan faltsua bada, orduan argumentua sendoa da kasu batzuetan. Aldi berean, logika proposizionalak [[inferentzia]] edo argumentuak deduzitzeko erregelak emate ...33 KB (4.824 hitz) - 07:25, 20 abendua 2024
- ...bi egia-balioko logikan") egia-balio eztabaidagarria duten proposiziorekin logika horretan baino hobeto lan egiteko aukerak eskaintzen dizkiguten modelo logi '''Logika klasiko'''an oinarrizkoa den proposizio bat egiazkoa edo gezurrezkoa izan b ...11 KB (1.453 hitz) - 23:13, 19 abendua 2024
- [[Logika]]n, kuantifikazioak zenbat alditan predikatu edo propietate P bat betetzen ...haren aldagaiak zenbatzailearen araberakoak izan behar direla. [[Formula (logika)|Hizkuntza formalean]], kuantifikazioa formula zaharretatik berriak eraikit ...8 KB (965 hitz) - 20:14, 18 ekaina 2023
- ...logia''' edozein interpretazio posibleren arabera beti egia den [[Formula (logika)|formula]] edo enuntziatua da. Hau da, proposizio bakunei eman dakiekeen ed ..., baina "tautologia" eta "lokikoki baliozkoa" desberdinduz [[Lehen mailako logika|lehen mailako logikan]]. ...4 KB (631 hitz) - 11:39, 7 otsaila 2024
- ...ko [[Aldagai estatistiko|aldagaiei]] bakarrik eragiten dien [[Zenbatzaile (logika)|zenbatzaileak]] dituzten [[Hizkuntza formala|lengoaia formalak]] dira, eta Lehen ordenako logikak, [[logika proposizional]]a baino adierazkortasun-maila altuagoa du. ...25 KB (3.402 hitz) - 20:15, 18 ekaina 2023
Emaitza orrialde testuetan
- ...logia''' edozein interpretazio posibleren arabera beti egia den [[Formula (logika)|formula]] edo enuntziatua da. Hau da, proposizio bakunei eman dakiekeen ed ..., baina "tautologia" eta "lokikoki baliozkoa" desberdinduz [[Lehen mailako logika|lehen mailako logikan]]. ...4 KB (631 hitz) - 11:39, 7 otsaila 2024
- [[Logika]]n eta [[matematika]]n, '''beharrezkotasuna''' eta '''nahikotasuna''' [[pro [[Kategoria:Logika]] ...1 KB (125 hitz) - 12:50, 3 ekaina 2020
- ...notazioa''' egiunezko notazioa da [[aritmetika]] eta [[logika]] [[Formula (logika)|formuletan]], non [[Eragile (matematika)|eragileak]] [[Eragigai (matematik ...2 KB (230 hitz) - 18:08, 11 abendua 2019
- ...symbols/|sartze-data=2021-10-24}}</ref> irakurtzen dena) eramaten duena. [[Logika klasikoan]] ukapena normalean egiazko funtzioekin erlazionatzen da, zeinak Logika klasikoan, ukapena [[lokailu logiko]] bat da (orokorrean [[proposizio]] bat ...5 KB (716 hitz) - 17:37, 28 abendua 2021
- ...ri [[1920]]aren inguruan, [[Eragiketa (matematika)|matematika eragiketen]] logika errazteko. Ez da asko erabiltzen egiunezko matematikan, baina bai erabiltze ...2 KB (268 hitz) - 18:07, 11 abendua 2019
- ...|operazio]] bat da: Edo rekin erlaziona daiteke eta [[Logika proposizional|logika propozizionala]] eraikitzeko beharrezkoa da. [[Notazio aljebraiko|Notazio]] ...ementuak|url=https://eu.delachieve.com/algebra-boolearra-logikaren-algebra-logika-matematiko-elementuak/|aldizkaria=eu.delachieve.com|sartze-data=2021-10-21} ...3 KB (380 hitz) - 18:23, 28 azaroa 2024
- ...u|abizena=Yurramendi Mendizabal|izenburua=Datuen analisia eta enuntziatuen logika|data=1985|url=http://addi.ehu.es/handle/10810/39924|issn=0495-4548|sartze-d ...karia|Elhuyar aldizkarian]] eta 1985ean ''Datuen analisia eta enuntziatuen logika'' Theoria aldizkarian. ...2 KB (230 hitz) - 11:48, 8 abuztua 2022
- [[Logika filosofiko|Logika filosofikoan]], '''gizon maskaratuaren falazia''' ('''konprentsiozko falazi [[Logika doxastiko|Logika doxastikoan]] adierazita, hau da aurreko silogismoa: ...3 KB (485 hitz) - 13:03, 26 apirila 2023
- [[TTL|Transistore-transistore logika]] edo [[TTL]] ateei 2 eta 10 ate artean konektatu diezaiokegu. [[MOS osagar ...674 bytes (86 hitz) - 17:07, 15 abendua 2019
- ...bi egia-balioko logikan") egia-balio eztabaidagarria duten proposiziorekin logika horretan baino hobeto lan egiteko aukerak eskaintzen dizkiguten modelo logi '''Logika klasiko'''an oinarrizkoa den proposizio bat egiazkoa edo gezurrezkoa izan b ...11 KB (1.453 hitz) - 23:13, 19 abendua 2024
- Logika matematikoan eta konputazio-zientzietan, '''Kleene izar (Kleeneren klausura [[Kategoria:Sintaxia (logika)]] ...2 KB (311 hitz) - 15:31, 14 abendua 2019
- ...erloju-ziklo berean erreakzionatzen dute. [[Moore makina|Moore makinetan]] logika gehiago behar da irteerak dekodetzeko, atzerapen handiagoa sortuz. ...n''' irteera-datuak erloju-ziklo amaieran gauzatzen dira, Moore makinetan, logika gauzatu eta gero, edonoiz gauzatu daitezke. ...2 KB (317 hitz) - 09:35, 24 abendua 2019
- [[Elektronika digital]]ean, zirkuituak '''logika konbinazionalaren''' ekuazio sinpleaz osatuta daude eta ekuazio hauek, [[Bo ...1 KB (132 hitz) - 10:43, 16 azaroa 2020
- <blockquote>''Artikulu printzipala:'' [[Egia-taula]]</blockquote>Logika proposizionaleko sistema batean, interpretazio bat esaldi bakoitzari esleit ...le izango ditu. Horregatik egia-taulak handiegiak izan daitezke. Hala ere, logika proposizionalak formula infinituki luzeak onartzen ez dituen heinean, inter ...3 KB (393 hitz) - 22:32, 5 urtarrila 2023
- [[Kategoria:Logika]] ...1 KB (149 hitz) - 22:07, 16 maiatza 2024
- |[[Logika matematiko|Logika matematikoa]] ...ed Wilhelm Leibniz|Gottfried Leibnizek]] egiazko eta faltsu balio bitarren logika formalizatu zuen. Inferentzia logiko eta matematika-froga aspaldikoak ziren ...5 KB (520 hitz) - 13:44, 8 abendua 2022
- [[Logika proposizional|Logika proposizionalean]] eta [[Booleren aljebra|Booleren aljebran]] '''De Morgane ...tzioa egia izango litzateke, bere ukapena gezurra eginez. Euskaraz esanda, logika hau jarraitzen du: "bi gauza egiazkoak direla gezurra denez, horietako bate ...10 KB (1.643 hitz) - 17:22, 26 azaroa 2021
- [[Matematika]]ren eta [[Logika|logikaren]] zenbait testuingurutan, '''inplikazio bikoitza''' ('''bikondizi [[Logika|Logikan]] eta [[Matematika|matematikan]], hauek dira inplikazio bikoitza ad ...5 KB (652 hitz) - 10:35, 16 apirila 2023
- ...00ston|kokapena=Londres, UK: Routledge: 60.}}</ref> ('''MP''' laburtuta) [[logika proposizional]]aren [[baliozko argumentu]] eta [[inferentzia erregela]] bat edo, tautologia baten baieztapen gisa edo logika proposizionalaren teorema gisa: ...8 KB (1.006 hitz) - 16:22, 16 abuztua 2023
- ...iozkotasun (logika)|baliozko]] argudio-forma eta inferentzia-erregela da [[logika proposizional]]ean. Adierazpen bat baliozkoa bada, bere kontrajartzea ere b Notazio honi logika proposizionalaren teorema ere deitzen zaio eta honela idazten da: ...9 KB (1.183 hitz) - 20:14, 18 ekaina 2023