Operatorët logjikë

Tabelat e Operatorëve latinisht shqip përdoret shkruhet Negacioni JO non $\lnot q$ Konjukcioni DHE et $p\land q$ Disjunkcioni OSE vel $p\lor q$ Antivalenca OSE-OSE aut ${\displaystyle }$ Implikacioni NËSE ATËHERË seq $p\Rightarrow q$ Ekuivalenca ATËHERË DHE VETËM ATËHERË aq $p\Leftrightarrow q$ Tabelat e vërtetësisë gjykimi $p$ gjykimi $q$ Konjukcioni $p\land q$ Disjunkcioni $p\lor q$ Antivalenca OSE-OSE Implikacioni $p\Rightarrow q$ Ekuivalenca $p\Leftrightarrow q$ T T T T $\perp$ T T T $\perp$ $\perp$ T T $\perp$ $\perp$ $\perp$ T $\perp$ T T T $\perp$ $\perp$ $\perp$ $\perp$ $\perp$ $\perp$ T T

Operatorët logjikë janë simbole ose fjalë të cilat shërbejnë për të lidhur dy ose më shumë operacione matematikore në një rrugë të logjikshme dhe me vërtetësi.

Vërtetësia funksionale

Ndahet ne 4 pjese: 1.