Izjavne povezave

Izjavne povezave so povezave, katere vežejo dve izjavi.

Vrste izjavnih povezav

 

negacija (ni res, da ...)

 

konjunkcija (... in ...)

 

implikacija (če ..., potem ...)

 

ekvivalenca (... natanko takrat, ko ...)

 

ekskluzivni ali (ali ... ali ...)

 

Shefferjeva povezava (ni res, da ... ali ni res, da ...)

 

Lukasiewicz - Piercova povezava (ni res, da ... in ni res, da ...)