Szybszy dostęp niż przeglądarce!
13 kontakty: Ciało uporządkowane, Forma preneksowa, Formuła logiczna, Funktor zdaniotwórczy, Koniunkcyjna postać normalna, Rachunek predykatów pierwszego rzędu, Rachunek zdań, Symbol funkcyjny, Symbol relacyjny, Teoria grup, Teoria mnogości, Term, Zmienna zdaniowa.
Ciało uporządkowane
Ciało uporządkowane – ciało K, w którym wyróżniony jest podzbiór D elementów dodatnich o następujących własnościach.
Nowy!!: Formuła atomowa i Ciało uporządkowane · Zobacz więcej »
Forma preneksowa
Forma preneksowa (lub) – taka postać formuły logicznej, w której wszystkie kwantyfikatory przesunięte sąna początek formuły.
Nowy!!: Formuła atomowa i Forma preneksowa · Zobacz więcej »
Formuła logiczna
Formuła logiczna – określenie dozwolonego wyrażenia w wielu systemach logicznych, m.in.
Nowy!!: Formuła atomowa i Formuła logiczna · 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 atomowa i Funktor zdaniotwórczy · 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 atomowa i Koniunkcyjna postać normalna · 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 atomowa 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 atomowa i Rachunek zdań · Zobacz więcej »
Symbol funkcyjny
Symbol funkcyjny – symbol używany w logice matematycznej i pokrewnych dziedzinach matematyki (np. algebrze abstrakcyjnej).
Nowy!!: Formuła atomowa 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 atomowa 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 atomowa 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 atomowa i Teoria mnogości · Zobacz więcej »
Term
Term (formuła nazwowa) – wyrażenie składające się ze zmiennych oraz symboli funkcyjnych o dowolnej argumentowości (w tym o argumentowości 0, czyli stałych) z pewnego ustalonego zbioru.
Nowy!!: Formuła atomowa i Term · Zobacz więcej »
Zmienna zdaniowa
Zmienna zdaniowa – bezargumentowy symbol w rachunku zdań.
Nowy!!: Formuła atomowa i Zmienna zdaniowa · Zobacz więcej »
