Szybszy dostęp niż przeglądarce!
22 kontakty: Alternatywa, Argumentowość, Dysjunkcyjna postać normalna, Formuła atomowa, Funktor zdaniotwórczy, Implikacja materialna, Koniunkcja (logika), Koniunkcyjna postać normalna, Kwantyfikator, Logika, Logika matematyczna, Negacja, Prawa De Morgana, Rachunek predykatów pierwszego rzędu, Rachunek zdań, Równoważność, Symbol funkcyjny, Symbol relacyjny, Teoria grup, Teoria mnogości, Zdanie logiczne, Zmienna zdaniowa.
Alternatywa
Alternatywa, suma logiczna, alternatywa zwykłaTaka nazwa jest niekiedy stosowana dla odróżnienia od alternatywy rozłącznej.
Nowy!!: Formuła logiczna i Alternatywa · Zobacz więcej »
Argumentowość
Argumentowość, arność, członowość – liczba argumentów.
Nowy!!: Formuła logiczna i Argumentowość · Zobacz więcej »
Dysjunkcyjna postać normalna
Dysjunkcyjna postać normalna (ang. disjunctive normal form, DNF) formuły logicznej – formuła zapisana w postaci dysjunkcji (alternatywy) klauzul dualnych.
Nowy!!: Formuła logiczna i Dysjunkcyjna postać normalna · Zobacz więcej »
Formuła atomowa
Formuła atomowa (formuła prosta) – formuła, która nie ma żadnych właściwych podformuł.
Nowy!!: Formuła logiczna i Formuła atomowa · Zobacz więcej »
Funktor zdaniotwórczy
Funktor zdaniotwórczy – wyrażenie, które wraz z innymi wyrażeniami, nazywanymi argumentami funktora, tworzy zdanie lub funkcję zdaniową.
Nowy!!: Formuła logiczna i Funktor zdaniotwórczy · Zobacz więcej »
Implikacja materialna
Implikacja, implikacja materialna (w odróżnieniu od implikacji formalnej, tj. wynikania) – zdanie logiczne lub funkcja zdaniowa powstałe przez połączenie dwóch zdań p (poprzednik implikacji) i q (następnik implikacji) spójnikiem implikacji p \to q. Spójnik implikacji jest spójnikiem ekstensjonalnym – implikacja przyjmuje wartości logiczne zależące jedynie od wartości logicznych łączonych zdań.
Nowy!!: Formuła logiczna i Implikacja materialna · Zobacz więcej »
Koniunkcja (logika)
Koniunkcja – zdanie złożone mające postać p i q, gdzie p, q sązdaniami.
Nowy!!: Formuła logiczna i Koniunkcja (logika) · Zobacz więcej »
Koniunkcyjna postać normalna
Koniunkcyjna postać normalna (ang. conjunctive normal form, CNF) danej formuły logicznej to równoważna jej formuła zapisana w postaci koniunkcji klauzul.
Nowy!!: Formuła logiczna i Koniunkcyjna postać normalna · Zobacz więcej »
Kwantyfikator
Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążącym zmienne w formułach.
Nowy!!: Formuła logiczna i Kwantyfikator · Zobacz więcej »
Logika
Logika (gr. λόγος, logos – rozum, słowo, myśl) – nauka formalna o jasnym i ścisłym formułowaniu myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń.
Nowy!!: Formuła logiczna i Logika · Zobacz więcej »
Logika matematyczna
Logika matematyczna – dział matematyki, który wyodrębnił się jako samodzielna dziedzina na przełomie XIX i XX wieku, wraz z dążeniem do dogłębnego zbadania podstaw matematyki.
Nowy!!: Formuła logiczna i Logika matematyczna · Zobacz więcej »
Negacja
Negacja (z łac. negatio), zaprzeczenie – pojęcie logiki i językoznawstwa o kilku znaczeniach.
Nowy!!: Formuła logiczna i Negacja · Zobacz więcej »
Prawa De Morgana
Prawa De Morgana – zestaw reguł w logice matematycznej i teorii mnogości wiążących ze sobąpary spójników, kwantyfikatorów lub działań na zbiorach za pomocąnegacji lub funkcji dopełnienia zbioru.
Nowy!!: Formuła logiczna i Prawa De Morgana · Zobacz więcej »
Rachunek predykatów pierwszego rzędu
Rachunek predykatów pierwszego rzędu – system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów.
Nowy!!: Formuła logiczna i Rachunek predykatów pierwszego rzędu · Zobacz więcej »
Rachunek zdań
Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.
Nowy!!: Formuła logiczna i Rachunek zdań · Zobacz więcej »
Równoważność
Równoważność (lub: ekwiwalencja) – twierdzenie, w którym teza jest warunkiem koniecznym, jak i dostatecznym przesłanki.
Nowy!!: Formuła logiczna i Równoważność · Zobacz więcej »
Symbol funkcyjny
Symbol funkcyjny – symbol używany w logice matematycznej i pokrewnych dziedzinach matematyki (np. algebrze abstrakcyjnej).
Nowy!!: Formuła logiczna i Symbol funkcyjny · Zobacz więcej »
Symbol relacyjny
Symbol relacyjny (predykat) – uogólnienie zmiennych zdaniowych rachunku zdań w rachunku predykatów pierwszego rzędu.
Nowy!!: Formuła logiczna i Symbol relacyjny · Zobacz więcej »
Teoria grup
Grupa Rubika to przykład obiektu badanego przez teorię grup. grupy wolnej ''F''2 Teoria grup – dział matematyki wyższej, konkretniej algebry abstrakcyjnej, badający grupy.
Nowy!!: Formuła logiczna i Teoria grup · Zobacz więcej »
Teoria mnogości
zbiorów. Teoria mnogości, teoria zbiorów – dział matematyki zaliczany do jej działów podstawowych (fundamentalnych); bada on zbiory, zwłaszcza te nieskończone, a także ich uogólnienia jak klasy.
Nowy!!: Formuła logiczna i Teoria mnogości · Zobacz więcej »
Zdanie logiczne
Zdanie logiczne – podstawowa kategoria syntaktyczna, będąca jednocześnie formąwypowiedzi, mającej na celu określenie stanu faktycznego danej rzeczy.
Nowy!!: Formuła logiczna i Zdanie logiczne · Zobacz więcej »
Zmienna zdaniowa
Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań.
Nowy!!: Formuła logiczna i Zmienna zdaniowa · Zobacz więcej »
Przekierowuje tutaj:
Formuła zdaniowa, Literał (logika), Wyrażenie logiczne.
