reguła aksjomatyczna 1
rzeczownikdomena: myślenierejestr: specj.
Słowosieć [ver.5.0]
PolskiDefinicja
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.
meronimia: część
system dedukcyjny 1
rzeczownik
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.
holonimia: część
system dedukcyjny 1
rzeczownik
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.
Polskiantonimia: antonimia komplementarna
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.
hiperonimia
zasada 2
rzeczownik
utrwalony, powtarzający się sposób postępowania ustalony na mocy jakiegoś przepisu lub zwyczaju.
