Semantički ekvivalentno

Za dvije formule kažemo da su semantički ili logički ekvivalentne ako im se podudaraju logičke vrijednosti u semantičkim tablicama.

» Rječnik pojmova