Logi~cki veznici

• konjunkcija (otprilike kao u hrvatskom jeziku veznici "i","a","ali",...) ~ na ovom siteu konjunkcija sudova A i B bit ~te ozna~cena s A & B. Konjunkcija je istinita samo u slu~caju da su oba operanda istinita ~ ina~ce je la~zna.
• disjunkcija (u hrvatskom jeziku najbli~zi joj je veznik "ili") ~ oznaka ovdje je A V B. Za istinitost disjunkcije dovoljna je istinitost jednog operanda ~ tek ako su oba la~zna, disjunkcija je la~zna.
• implikacija (~cesto odgovara frazi "ako...onda", ali ponekad i ne) ~ oznaka A => B. Implikacija je la~zna samo u slu~caju da je prvi operand (antecedens) istinit, a drugi (konzekvens) la~zan ~ u svim ostalim slu~cajevima je istinita.
• ekvivalencija (fraza, uglavnom matemati~cka, "ako i samo ako", ~cesto skra~tena na "akko") ~ A <=> B. Istinita je ako joj operandi imaju istu istinitost (dakle, oba istinita ili oba la~zna) ~ ina~ce (ako je to~cno jedan od operanada istinit) je la~zna.
• negacija ("ne") ~ oznaka ! A. Istinitost joj je suprotna istinitosti njenog operanda ~ dakle, istinita je ako je operand la~zan, la~zna ako je on istinit.
• ekskluzivna disjunkcija (hrvatski jezik nema odgovaraju~tu rije~c ~ koristi se latinski "aut", anglizirani "xor", ili mathemati~cki "illi") ~ A V B. Istinita je ako je jedan od operanada istinit, ali ne oba. Ako su oba istiniti (ili oba la~zni), la~zna je.