logicznej
Encyklopedia PWN
rachunek kwantyfikatorów, logika kwantyfikatorów,
dział logiki, w którym przyjmuje się wszystkie terminy i twierdzenia rachunku zdań, a ponadto wprowadza się, jako stałe symbole, kwantyfikatory.
weryfikacja logiczna, merytoryczna, językowa tekstu, mająca na celu nadanie mu ostatecznej, spójnej formy i przygotowanie do publikacji czy emisji.
log. dobieranie do zdania uznanego za prawdziwe (tj. do następstwa) takiego zdania (tj. racji), z którego to pierwsze logicznie wynika;
niem. filozof i logik;
równoważność, ekwiwalencja,
log. stosunek zachodzący między wyrażeniami o tej samej wartości log. (równoważność implikacyjna lub równoważność materialna);
