Installa Steam
Accedi
|
Lingua
简体中文 (cinese semplificato)
繁體中文 (cinese tradizionale)
日本語 (giapponese)
한국어 (coreano)
ไทย (tailandese)
Български (bulgaro)
Čeština (ceco)
Dansk (danese)
Deutsch (tedesco)
English (inglese)
Español - España (spagnolo - Spagna)
Español - Latinoamérica (spagnolo dell'America Latina)
Ελληνικά (greco)
Français (francese)
Indonesiano
Magyar (ungherese)
Nederlands (olandese)
Norsk (norvegese)
Polski (polacco)
Português (portoghese - Portogallo)
Português - Brasil (portoghese brasiliano)
Română (rumeno)
Русский (russo)
Suomi (finlandese)
Svenska (svedese)
Türkçe (turco)
Tiếng Việt (vietnamita)
Українська (ucraino)
Segnala un problema nella traduzione
⠿⣿⣿⣿⣿⣿⣿⣿⣿⣿⣩⣍⣉⣉⣉⡁⠀⣻⣿⣿⣿⡇⠀⠀⠀⣿⣿⣿⣿⣿ ⠀
⠈⠉⠙⣿⣿⣿⣿⣿⣿⣿⣿⣭⣿⣯⣥⣾⣿⣿⡿⠟⠁⠀⠀⠀⣿
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).