Gjykimet

• Fjalia deklarative e cila ka kuptim dhe e cila është e saktë ( e vërtetë ) ose e pasaktë ( e pavërtetë ) quhet gjykim .

• Gjykimet e sakta quhen pohime .

• Gjykimet shënohen me shkronja të vogla si p.sh. p,q,r,s,… .

• Vlera e saktësisë së gjykimit p shënohet me υ(p) dhe mund të jetë :

υ(p)=T ( e saktë ) υ(p)=⊥ ( e pasaktë )

• Veprimet me gjykime :

a ) negacioni ( ⌉ )

b) konjuksioni ( ∧ )

c ) disjunksioni ( ∨ )

d ) implikacioni ( ⇒ )

e) ekuivalenca ( ⇔ )

• Tabela e vlerave të saktësisë është: