~p

&

~(~p

& ~

~p

& ~

~(p

&

természetes

nyelvi jelentésében és logikai szempontból is ekvivalens.

logikai

szempontból ekvivalens, de természetes nyelvi jelentésében nem az.

sem

természetes nyelvi jelentésében, sem logikai szempontból nem ekvivalens.

természetes

nyelvi jelentésében ekvivalens, de logikai szempontból nem az.

két

eltérő, természetes nyelvi következtetést csak ugyanazzal a formális logikai

sémával tudunk kifejezni.

két

eltérő, természetes nyelvi állítást csak ugyanazzal a formális logikai

formulával tudunk kifejezni.

két

eltérő, formális logikai sémával kifejezett következtetés ugyanazon feltételek

mellett érvényes.

két eltérő,

formális logikai formulával kifejezett állítás ugyanazon feltételek mellett

igaz.

alternáció

negáció

indukció

konjunkció