Логичка операција: Разлика помеѓу преработките

*'''[[Линеарна логика|линеарност]]''' : Секоја променлива секогаш ја менува точноста (бистинитоста) на операцијата или никогаш не прави разлика '''{''' '''<math>\neg</math>''', '''<math>\equiv</math>''', '''<math>\not\equiv</math>''', '''<math>\top</math>''', '''<math>\bot</math>''' '''}'''

 

 

*'''запазување на точност''': Толкувањето кај кое сите променливи имаат зададена [[логичка вредност|логички вредности]] како 'точно' дава логичка вредност 'точно' како резултат на овие операции. '''{''' '''<math>\vee</math>''', '''<math>\wedge</math>''', '''<math>\top</math>''', '''<math>\rightarrow</math>''', '''<math>\equiv</math>''', '''⊂''' '''}'''