Nejste přihlášen/a.
Mám zadán tento výrok u kterého mám zjistit zda je tvrzení pravdivé a odůvodnit.
”Necht α je splnitelná formule, která obsahuje atomickou formuli p. Necht β je formule, která vznikla
z formule α nahrazením každého výskytu atomické formule p splnitelnou formulí γ. Pak formule β
je také splnitelná”.
Napadají mě dvě různá řešení, ale nevím zda vůbec nad tím přemýšlím dobře.
1) Pokud je jak α i γ splnitelná tak by měla být splnitelná i β
Nebo
2) Když nad tím víc přemýšlím, přijde mi to zas moc jednoduchý na takovouto odpoveď. Druhá moje úvaha je ta, že pokud se jedná o splnitelnou formuli tak to neznamená, že je vždy splněna to by tam muselo být poznamenáno, že se jedná o tautologii, tím pádem by mi vyplývalo, že pokud je α i γ splněna za různých podmínek tak nemusí vždy znamenat, že β je také splnitelná.
Možná to celé chápu blbě a je to nejspíš triviální, ale chtěl bych vás poprosit o pomoc díky za odpověď.
Ta terminologie je tam možná jen na odvedení pozornosti, ale jasně, formule α může být splnitelná jen díky tomu, že jdou všechny kroky za sebou v tom, co je i co není součástí formule p. To znamená, že to, že je sama o sobě splnitelná část nějakého celku nahrazená jinou samo o sobě splnitelnou částí ještě nemusí znamenat, že i ten nový celek musí být splnitelný, možná jeho splnitelnost záležela právě na tom, co bylo změněno.
Neneseme odpovědnost za správnost informací a za škodu vzniklou jejich využitím. Jednotlivé odpovědi vyjadřují názory jejich autorů a nemusí se shodovat s názorem provozovatele poradny Poradte.cz.
Používáním poradny vyjadřujete souhlas s personifikovanou reklamou, která pomáhá financovat tento server, děkujeme.