KonkurStudy
همه کارت‌ها

Consistency under Union and Intersection of Theories

Consistency = having a model. The intersection of two consistent theories is always consistent, but their union can be inconsistent.

کارت مفهوم کنکور ارشد علوم کامپیوتر