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

Синтаксички, (1) и (2) се кодеривативни по пат на законот на [[контрапозиција]] и [[двојна негација]]. Семантички, (1) и (2) се точни (вистинити) во апсолутно ист модел (толкувања, вреднувања); имено, оние каде или ''Филип е во Скопје'' е неточно, или ''Филип е во Македонија'' е точно.

 

 

== Поврзано ==