logika prawnicza

Zdanie w sensie logicznym

jest to takie wyrażenie które jest albo prawdziwe albo fałszywe

Zmienną zdaniową

nazywamy takie wyrażenie za które wolno wstawić dowolne zdanie. jako zmienną zdaniową używamy małych liter p, q, r itp.

Spójnikami logicznymi

nazywamy takie wyrażenie posiadającę tą właściwość że po dołączeniu do niego zdania otrzymuje się nowe zdanie, którego wartość logiczna zależy wyłącznie od wartości logicznej zdania dołączonego.

Spójnikiem jednoargumentowym

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

Zdaniem zanegowanym

nazywamy takie zdanie dołączone do spójnika negacji jako jego argument.

negacją

nazywamy takie zdanie dołączone do spójnika negacji jako jego argument

Spójnikiem dwuargumentowym

nazywamy takie wyrażenie, które po dołączeniu do niego dwóch zdań jako argumentów daję nowe zdanie o watrości logicznej wyznaczonej w szczególny sposób przez wartości logiczne dołączonych zdań.