Install Steam
login
|
language
简体中文 (Simplified Chinese)
繁體中文 (Traditional Chinese)
日本語 (Japanese)
한국어 (Korean)
ไทย (Thai)
Български (Bulgarian)
Čeština (Czech)
Dansk (Danish)
Deutsch (German)
Español - España (Spanish - Spain)
Español - Latinoamérica (Spanish - Latin America)
Ελληνικά (Greek)
Français (French)
Italiano (Italian)
Bahasa Indonesia (Indonesian)
Magyar (Hungarian)
Nederlands (Dutch)
Norsk (Norwegian)
Polski (Polish)
Português (Portuguese - Portugal)
Português - Brasil (Portuguese - Brazil)
Română (Romanian)
Русский (Russian)
Suomi (Finnish)
Svenska (Swedish)
Türkçe (Turkish)
Tiếng Việt (Vietnamese)
Українська (Ukrainian)
Report a translation problem
⠿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣩⣍⣉⣉⣉⡁⠀⣻⣿⣿⣿⡇⠀⠀⠀⣿⣿⣿⣿⣿ ⠀
⠈⠉⠙⣿⣿⣿⣿⣿⣿⣿⣿⣭⣿⣯⣥⣾⣿⣿⡿⠟⠁⠀⠀⠀⣿
I1:
D = {1}
p(1) = q(1) = V
I2:
D = {1}
p(1) = q(1) = F
La interpretación I1 es un modelo para la fórmula. Por lo tanto es
satisfacible (al menos es verdadera para una interpretación).
La interpretación I2 es un contramodelo para la fórmula. Por lo tanto, es
inválida (al menos es falsa para una interpretación).