64802

-Funktory prawdziwościowe

Funktory prawdziwościowe

to takie funktory zdaniotwórcze o argumentach zdaniowych (z/z, z/zz itp.), w których przypadku na podstawie samej tylko wartości logicznej ich argumentów, a niezależnie od ich treści, można jednoznacznie określić jaka jest wartość logiczna zdania zbudowanego za pomocą tego funktora.

Jeśli np. mamy dane zdania p oraz q oraz dwuargumentowy funktor lub to lub jest funktorem prawdziwościowym, bo prawdziwość zdania p lub q daje się określić już jedynie na podstawie wartości logicznej zdań p oraz q.

Urutseg, Forma! logie icon