Installera Steam
logga in
|
språk
简体中文 (förenklad kinesiska)
繁體中文 (traditionell kinesiska)
日本語 (japanska)
한국어 (koreanska)
ไทย (thailändska)
Български (bulgariska)
Čeština (tjeckiska)
Dansk (danska)
Deutsch (tyska)
English (engelska)
Español - España (Spanska - Spanien)
Español - Latinoamérica (Spanska - Latinamerika)
Ελληνικά (grekiska)
Français (franska)
Italiano (italienska)
Bahasa Indonesia (indonesiska)
Magyar (ungerska)
Nederlands (nederländska)
Norsk (norska)
Polski (polska)
Português (Portugisiska – Portugal)
Português - Brasil (Portugisiska - Brasilien)
Română (rumänska)
Русский (ryska)
Suomi (finska)
Türkçe (turkiska)
Tiếng Việt (vietnamesiska)
Українська (Ukrainska)
Rapportera problem med översättningen
⠿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣩⣍⣉⣉⣉⡁⠀⣻⣿⣿⣿⡇⠀⠀⠀⣿⣿⣿⣿⣿ ⠀
⠈⠉⠙⣿⣿⣿⣿⣿⣿⣿⣿⣭⣿⣯⣥⣾⣿⣿⡿⠟⠁⠀⠀⠀⣿
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).