Wyniki wyszukiwania
Przejdź do nawigacji
Przejdź do wyszukiwania
Znaleziono w tytułach
- '''Logika trójwartościowa''' – wariant [[logika|logiki]] [[Zdanie logiczne|zdań]] bądź [[predykat]]ów rozszerzony o dodatko …ogika)|semantycznej]] wersji rachunku w roku 1920 zapoczątkowało badania [[Logika wielowartościowa|logik wielowartościowych]]. …9 KB (1290 słów) - 10:43, 8 maj 2023
- '''Logika Hoare’a''' – formalizm matematyczny służący do opisu [[dowód poprawności al [[Kategoria:Logika matematyczna]] …2 KB (324 słowa) - 09:31, 22 maj 2024
- '''Logika wolna''' (ang. ''free logic'') – [[logika]] wolna od założeń [[ontologia|ontologicznych]], takich jak założenie niepu …ref>Wedle jego słów miał to być jedynie skrót od przydługawego określenia „logika wolna od (pewnych) zobowiązań ontologicznych”. Nie da się jednak odmówić te …5 KB (638 słów) - 07:51, 25 lut 2025
- 2 KB (305 słów) - 09:57, 11 maj 2022
- '''Logika algorytmiczna''' – rachunek logiczny, ale także '''rachunek programów'''.… W języku logiki algorytmicznej można wyrażać [[Semantyka (logika)|semantyczne]] własności programów. [[Aksjomat]]y i reguły wnioskowania AL …5 KB (729 słów) - 22:56, 10 paź 2024
- …(prawdy lub fałszu), lecz są nazwami sytuacji. Logika ta jest przykładem [[logika filozoficzna|logiki filozoficznej]]. Jej twórcą był [[Roman Suszko (logik)| …ości zastąpimy spójnikiem równoważności, z logiki niefregowskiej powstanie logika klasyczna. …5 KB (807 słów) - 00:31, 26 paź 2018
- '''Logika LTL''' – jedna z [[logika temporalna|logik temporalnych]]. Jest oparta na '''liniowej strukturze czas [[Kategoria:Logika temporalna]] …6 KB (895 słów) - 18:54, 10 paź 2024
- …lnych. Jest oparta na '''rozgałęzionej strukturze czasu''' (rozszerzenie [[Logika LTL|logiki LTL]] o warianty czasu). * wszystkie składniki [[Logika LTL|logiki LTL]], …4 KB (672 słowa) - 23:52, 4 cze 2021
- …unkcja}}{{wikibooks2|książka=Logika dla prawników|rozdział=Koniunkcja|link=Logika dla prawników/Koniunkcja}}{{wikisłownik|AND}} …ej Stanisław| nazwisko = Mostowski|autor link = Andrzej Mostowski |tytuł = Logika matematyczna |url = http://pldml.icm.edu.pl/pldml/element/bwmeta1.element.d …9 KB (1182 słowa) - 21:26, 29 lis 2024
- '''Logika CTL''' – jedna z [[logika temporalna|logik temporalnych]]. Jest oparta na '''liniowej strukturze czas * taki sam, jak w [[Logika CTL*|logice CTL*]] …3 KB (453 słowa) - 12:40, 10 lut 2023
- …temiczna|logiki epistemiczne]], [[logika temporalna|logiki temporalne]], [[logika deontyczna|logiki deontyczne]] i [[logiki programów]] – niniejszy artykuł… Logika modalna, obok klasycznych spójników logicznych, posiada ''funktory modalne' …10 KB (1471 słów) - 14:44, 31 gru 2023
- '''Logika temporalna''' – logika umożliwiająca rozważanie zależności [[czas]]owych bez wprowadzania czasu ex == Logika LTL == …10 KB (1737 słów) - 21:48, 18 lip 2023
Znaleziono w treści stron
- '''Operatory modalne''' to symbole używane w różnego typu [[Logika modalna|logikach modalnych]], nadające swoim argumentom specjalne znaczenie * [[logika modalna]], [[logika temporalna]] …914 bajtów (134 słowa) - 23:00, 17 paź 2019
- …również '''modelem relacyjnym''') – [[struktura matematyczna]] używana w [[logika modalna|logikach modalnych]] i [[Intuicjonistyczny rachunek zdań|intuicjoni [[Kategoria:Logika matematyczna]] …781 bajtów (106 słów) - 20:23, 22 sie 2019
- …używana jako jedna z [[funkcja przynależności|funkcji przynależności]] w [[Logika rozmyta|logice rozmytej]]. Nazwa pochodzi od kształtu wykresu tej funkcji… [[Kategoria:Logika rozmyta]] …823 bajtów (127 słów) - 18:31, 17 maj 2020
- * [[Koniunkcja (logika)|iloczyn]] i [[negacja]] (suma może zostać wyeliminowana dzięki [[Prawa De [[Kategoria:Logika matematyczna]] …869 bajtów (119 słów) - 18:37, 11 gru 2021
- '''Logika CTL''' – jedna z [[logika temporalna|logik temporalnych]]. Jest oparta na '''liniowej strukturze czas * taki sam, jak w [[Logika CTL*|logice CTL*]] …3 KB (453 słowa) - 12:40, 10 lut 2023
- …e) <math>\forall x . \phi(x)</math> zostały zastąpione przez [[Koniunkcja (logika)|koniunkcje]] <math>\phi(t_1) \land \phi(t_2) \land \cdots \land \phi(t_n)< [[Kategoria:Logika matematyczna]] …956 bajtów (141 słów) - 22:00, 14 lip 2019
- '''Ideał pierwszy''' – pojęcie [[teoria mnogości|teorii mnogości]] i [[logika matematyczna|logiki matematycznej]]. * [[logika matematyczna]] …2 KB (253 słowa) - 10:09, 25 wrz 2024
- …onym stanie, niezależnie od stanu drugiego z nich. Zależnie od [[operator (logika)|operatora]] może to oznaczać albo pozytywne albo negatywne wystąpienie. [[Kategoria:Logika matematyczna]] …1 KB (197 słów) - 10:43, 14 sie 2019
- …e logiczne|zdania logicznego]] <math>p</math> albo ono samo jest [[prawda (logika)|prawdziwe]], albo prawdziwe jest jego zaprzeczenie. Symbolicznie<ref name= Tak odczytane prawo wyłączonego środka obowiązuje również w wielu [[logika wielowartościowa|logikach wielowartościowych]], mimo że żadne ze zdań <math …2 KB (254 słowa) - 21:27, 29 lis 2024
- …William Craig (filozof)|tekst=Williama Craiga|Q=Q8007226}}, amerykańskiego logika. …że <math>X \implies Z</math> i <math>Z \implies Y</math> są [[Tautologia (logika)|tautologiami]], zaś w <math>Z</math> nie występuje żadna [[relacja (matema …2 KB (336 słów) - 10:11, 8 maj 2023
- * [[prawda (logika)|prawda]] – czyli zgodność zdania ze zbiorem faktów, oznaczana tradycyjnie W [[logika rozmyta|logice rozmytej]] (''Fuzzy Logic'') będącej próbą sformalizowania… …2 KB (351 słów) - 21:36, 29 lis 2024
- …ność chcemy wykazać, mianowicie zaprzeczenie formuły, której [[Tautologia (logika)|tautologiczność]] chcemy wykazać. * itd., w zależności od [[Logika|logiki]]. …1 KB (197 słów) - 18:10, 20 maj 2019
- …w interpunkcyjnych jeden z typów [[Wyrażenie (logika)|wyrażeń]] [[słownik (logika)|słownika]] teorii logicznej<ref name="MEL" />. [[Kategoria:Logika matematyczna]] …2 KB (262 słowa) - 20:40, 27 lip 2022
- {{Zobacz też|Tautologia (logika)}} [[Kategoria:Logika]] …2 KB (183 słowa) - 10:56, 11 gru 2024
- Prawo podwójnej negacji jest [[Tautologia (logika)|tautologią]] rachunku zdań. * [[prawo podwójnego przeczenia]] (logika zdań) …1 KB (182 słowa) - 16:39, 29 maj 2023
- '''Uogólnienie twierdzenia''' – zagadnienie [[logika matematyczna|logiki matematycznej]] oraz [[dydaktyka matematyki|dydaktyki… Niech będzie dana pewna [[teoria (logika)|teoria]] oraz jej twierdzenia: …2 KB (313 słów) - 10:11, 18 paź 2023
- …ają [[zdanie logiczne|zdanie]] [[logika matematyczna|logicznie]] [[prawda (logika)|prawdziwe]]. …2 KB (205 słów) - 23:42, 18 gru 2023
- …a (filozofia)|scholastyczne]] [[adagium]], które wyraża zasadę wynikania [[logika modalna|modalnego]]. Głosi ono, że z traktujących o [[fakt]]ach [[wypowiedź [[Kategoria:Logika]] …1 KB (173 słowa) - 00:20, 14 mar 2020
- * {{cytuj książkę | imię = Tadeusz | nazwisko = Kwiatkowski | tytuł = Logika ogólna }} [[Kategoria:Logika]] …1 KB (198 słów) - 12:54, 23 maj 2023
- [[Kategoria:Logika matematyczna]] …362 bajtów (54 słowa) - 05:25, 10 kwi 2022