hiponimia

rzeczownik

system oparty na zbiorze aksjomatów oraz twierdzeń, które można z nich wyprowadzić.

system dedukcyjny 1

rzeczownikdomena: myślenierejestr: specj.

Słowosieć [ver.5.0]

Polski

Definicja

zbiór złożony ze zdań przyjętych bez dowodu (aksjomatów) oraz zdań przyjętych na podstawie dowodów, których przesłankami są bądź aksjomaty, bądź ich konsekwencje.

hiperonimia

system 2

rzeczownik

w logice: całościowy i uporządkowany zespół zdań połączonych ze sobą stosunkami logicznego wynikania.

meronimia: część

reguła dedukcyjna 1

rzeczownik

właściwa dla danego systemu dedukcyjnego reguła pozwalająca uznawać zdania o określonej strukturze na podstawie zdań już uprzednio uznanych.

reguła aksjomatyczna 1

rzeczownik

reguła wyróżniająca zdania języka jako tezy niezależnie od wartości logicznej jakichkolwiek innych zdań wchodzących w skład tegoż języka.

holonimia: część

reguła dedukcyjna 1

rzeczownik

właściwa dla danego systemu dedukcyjnego reguła pozwalająca uznawać zdania o określonej strukturze na podstawie zdań już uprzednio uznanych.

reguła aksjomatyczna 1

rzeczownik

reguła wyróżniająca zdania języka jako tezy niezależnie od wartości logicznej jakichkolwiek innych zdań wchodzących w skład tegoż języka.

Projekt współfinansowany ze środków europejskich