It has set of comparison operators the six of them, there are a set of connectives these are all same as the propositional calculus there is ⇒ which says if x is true then y is true if x is false then the whole thing is true vacuously.
இது ஆறு கம்ஃப்பரீசன் ஆபரேட்டர்களைக் கொண்டுள்ளது. இவை அனைத்தும் கனெக்டிவ்களின் செட் ஆகும், இவை அனைத்தும் ப்ரொப்பொசிஷனல் கால்குலஸுக்கு சமமானவை. ⇒ இல் x உண்மை என்றால் y என்பது உண்மை. x என்பது பொய்யானது என்றால் முழு விஷயமும் உண்மைதான்.