LOGIKA

NEGACJA

Zdania połączone poprzez „nieprawda, że”

„nieprawda, że” oznaczamy symbolem ~

Nieprawda, że p oznaczamy ~p

~ ( ~ p ) = p → ta sama wartość logiczna

WARUNEK KONIECZNY i WARUNEK WYSTARCZAJĄCY

Gdy z p wynika q, to mówimy, że p jest warunkiem wystarczającym dla q, a q jest warunkiem koniecznym dla p.