4 vzťahy: Matematická logika, Pravdivostná hodnota, Výrok (logika), Výroková algebra.
Matematická logika
Matematická logika (alebo z pohľadu filozofie moderná logika alebo symbolická logika) je matematická disciplína zaoberajúca sa štúdiom formálnych systémov vo vzťahu ku konceptom dôkazu a výpočtu ako časť základov matematiky.
Nový!!: Výroková logika a Matematická logika · Pozrieť viac »
Pravdivostná hodnota
Pravdivostná hodnota je v logike zovšeobecnenie a spresnenie pojmov pravdy (pravdivého), nepravdy (nepravdivého).
Nový!!: Výroková logika a Pravdivostná hodnota · Pozrieť viac »
Výrok (logika)
Výrok je výraz, ktorý má práve jednu pravdivostnú hodnotu.
Nový!!: Výroková logika a Výrok (logika) · Pozrieť viac »
Výroková algebra
Výroková algebra je výroková logika, teda Boolova algebra, kde prvky sú výroky a operácia sčítanie je disjunkcia a operácia násobenie je konjunkcia.