Logika

Zdanie w sensie logicznym

jest to takie wyrażenie, które jest prawdziwe albo fałszywe. Inaczej mówiąc, jest to wyrażenie, które opisuje rzeczywistość tak jak się ona ma lub nie tak, jak się ona ma.

Zmienna zdaniowa

jest to takie wyrażenie, za które wolno wstawić dowolne zdanie w sensie logicznym. Jako zmiennych zdaniowych używa się małych liter: "p", "q", "r", "s", "t", "p' ", "p' ' " itd...

Spójniki logiczne

to wyrażenia posiadające tę właściwość, że po dodaniu do nich zdania bądź zdań otrzymuje się nowe zdanie, którego wartość logiczna zależy wyłącznie od wartości logicznej zdania dołączonego.

Spójnik jednoargumentowy

jest to takie wyrażenie, które po dołączeniu do niego jednego zdania jako argumentu daje nowe zdanie o wartości logicznej wyznaczonej - w szczególny sposób - przez wartość logiczną zdania dołączonego.

Zdanie zanegowane

jest to zdanie dołączone do spójnika negacji jako jego argument.

Negacja

jest to zdanie powstałe przez zanegowanie określonego zdania. Innymi słowy jest to zdanie zbudowane ze spójnika negacji i jego argumentu.

Zdania wzajem sprzeczne

to zdanie zanegowane i powstała z niego negacja.

Spójnik dwuargumentowy

jest to takie wyrażenie, które po dołączeniu do niego dwóch zdań jako jego argumentów daje nowe zdanie, którego wartość logiczna jest wyznaczona - w szczególny sposób - przez wartości logiczne zdań dołączonych.

Koniunkcja

jest to zdanie zbudowane ze spójnika koniunkcji oraz jego argumentów (czynników).

Czynniki

są to zdania dołączone do spójnika koniunkcji jako argumenty.