Operatorët logjikë

Pjese e cila merret me gykimet dhe operacionet në mes tyre

Gjykimi

Si Gjykim matematikore mirret shprehja së ciles mund t´i japim një vlerë të saktësis, (e saktë ose e pasaktë, 0 ose 1, true ose false)

Operatorët - Lidhëset në mes të gjykimeve

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	NESE ATEHERE	seq	$p\Rightarrow q$
Ekuivalenca	ATEHERE DHE VETEM ATEHERE	aq	$p\Leftrightarrow q$

Tabelat e saktësis

Gjykimi p...	Gjykimi q...	$p\land q$	$p\lor q$	OSE-OSE	$p\Rightarrow q$	$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...