Hakutulokset
Siirry navigaatioon
Siirry hakuun
- ...tystä '''ja''') on [[looginen portti]], joka vastaa loogista [[konjunktio (logiikka)|konjunktio]]-operaatiota ja siten sanaa ”ja”. Operaatiosta käytetään logii [[Luokka:Matemaattinen logiikka]] ...1 KiB (162 sanaa) - 28. helmikuuta 2024 kello 06.12
- * lause on [[Konjunktio (logiikka)|konjunktio]], [[Luokka:Logiikka]] ...3 KiB (302 sanaa) - 1. marraskuuta 2024 kello 16.46
- [[Luokka:Matemaattinen logiikka]] ...1 KiB (132 sanaa) - 28. helmikuuta 2024 kello 06.12
- [[Luokka:Matemaattinen logiikka]] ...1 KiB (142 sanaa) - 8. lokakuuta 2022 kello 02.47
- [[Luokka:Matemaattinen logiikka]] ...1 KiB (150 sanaa) - 28. helmikuuta 2024 kello 06.12
- '''Luonnollinen päättely''' on [[matemaattinen logiikka|matemaattisen logiikan]] menetelmä tehdä johtopäätöksiä todeksi oletetusta ...ektiiveja lauseiden välillä. Luonnollisessa päättelyssä ovat [[Konjunktio (logiikka)|konjunktio]], [[disjunktio]], [[implikaatio]], [[ekvivalenssi]] ja [[negaa ...6 KiB (781 sanaa) - 12. marraskuuta 2024 kello 23.05
- '''Matemaattinen induktio''' on [[matemaattinen todistus]]menetelmä, joka kuuluu matemaattisen [[algebra]]n päähaaraan. Matemaattinen induktio perustuu ''induktioperiaatteeseen'', jolla todistetaan luonnollist ...4 KiB (570 sanaa) - 12. marraskuuta 2024 kello 23.50
- [[Luokka:Matemaattinen logiikka]] ...2 KiB (229 sanaa) - 8. lokakuuta 2022 kello 02.46
- [[Luokka:Matemaattinen logiikka]] ...2 KiB (254 sanaa) - 14. maaliskuuta 2025 kello 17.51
- [[Luokka:Matemaattinen logiikka]] ...2 KiB (319 sanaa) - 28. helmikuuta 2024 kello 06.13
- [[Luokka:Matemaattinen logiikka]] ...3 KiB (294 sanaa) - 4. kesäkuuta 2024 kello 04.56
- ...eesinen tulo]] sekä logiikassa tyhjä [[disjunktio]] ja tyhjä [[konjunktio (logiikka)|konjunktio]]. [[Monoidi]]ssa voidaan määritellä yleisesti, että tyhjän tu ...en>{{Verkkoviite | Osoite = http://math.tut.fi/~ruohonen/MK.pdf | Nimeke = Matemaattinen kryptologia | Tekijä = Ruohonen, Keijo | Tiedostomuoto = | Selite = | Jul ...4 KiB (452 sanaa) - 23. heinäkuuta 2022 kello 02.25
- '''Rekursio''' on [[matematiikka|matemaattinen]] keino määritellä [[funktio]]ita niin, että funktion arvo tietyssä pistees [[Luokka:Matemaattinen logiikka]] ...6 KiB (580 sanaa) - 8. lokakuuta 2022 kello 03.16
- ...uuden siten, että oletusten ollessa tosia johtopäätös ei voi olla epätosi. Logiikka on perinteisesti nähty [[filosofia]]n osana, mutta 1900-luvulla osa logiika ...en argumenttien muotoja, joko yleisesti tai tarkoittaen tiettyä logiikan [[Logiikka#Logiikoita|järjestelmää]]. ...24 KiB (2 836 sanaa) - 25. heinäkuuta 2023 kello 11.42
- '''Matemaattinen todistus''' tarkoittaa muodollista todistusta, joka täyttää seuraavat ehdot [[Matemaattinen induktio|Matemaattisen induktion]] ja yllä olevan todistuksen avulla voitai ...6 KiB (796 sanaa) - 12. marraskuuta 2024 kello 23.50
- '''Propositiologiikka''' eli '''lauselogiikka''' on [[symbolinen logiikka|symbolisen logiikan]] alue, jossa tutkitaan propositiosymboleja ja loogisia | [[konjunktio (logiikka)|konjunktio]] ...14 KiB (1 871 sanaa) - 30. elokuuta 2024 kello 22.22
- [[Luokka:Matemaattinen logiikka]] ...4 KiB (485 sanaa) - 12. helmikuuta 2025 kello 08.13
- [[Luokka:Logiikka]] [[Luokka:Matemaattinen logiikka]] ...8 KiB (1 028 sanaa) - 1. syyskuuta 2024 kello 14.32
- ...nologia–Makuaisti) | Sivu = 3800 | Kirjoittaja = Ilkka Niiniluoto | Luku = Logiikka (Lauselogiikka, Konnektiivit) | Julkaisija = Otava | Vuosi = 1978 | Tunnist ...[[osittelulaki]], kun toisena laskutoimituksena on looginen [[konjunktio (logiikka)|konjunktio]]. Disjunktio on lisäksi [[idempotenssi|idempotentti]] eli min ...16 KiB (2 124 sanaa) - 12. marraskuuta 2024 kello 13.38
- '''Totuusfunktio''' on [[matemaattinen logiikka|matemaattisen logiikan]] termi, joka tarkoittaa [[totuusarvo]]n (tavallises [[Luokka:Matemaattinen logiikka]] ...11 KiB (1 452 sanaa) - 13. marraskuuta 2024 kello 09.24