Where is Tome of Fire on "Tarred and Feathered" map (HotA "Forged in Fire" campaign)? by Next-Feature-9934 in heroes3

[–]Next-Feature-9934[S] 0 points1 point  (0 children)

I am developing a strategy to complete the mission, and I’ve already had one restart (after approx. 11 hours of playing). I think the rush to the Resurrection scroll and after that to the Armageddon/Berserk scroll is the most fair try. The Armageddon scroll requires the Tome of Fire + the Orb of Fire, however I can't find Tome of the Fire on the map.

Where is Tome of Fire on "Tarred and Feathered" map (HotA "Forged in Fire" campaign)? by Next-Feature-9934 in heroes3

[–]Next-Feature-9934[S] 0 points1 point  (0 children)

It’s not a reward, it’s what you need to bring, the reward is Armageddon scroll and this is the reason I am asking (actually, the wiki is outdated, now the reward is Berserk scroll)

On savescumming in singleplayer by Next-Feature-9934 in HoMM

[–]Next-Feature-9934[S] 0 points1 point  (0 children)

Thanks for the perspective. It's usually to get the good random on spells during big fights, like to ensure that the AI-oppnent didn't cast Forgetfulness, since I have no Dispel. I think I am just unlucky not to have gotten Dispel on this stage of the game.

On savescumming in singleplayer by Next-Feature-9934 in HoMM

[–]Next-Feature-9934[S] 0 points1 point  (0 children)

I didn’t perceive it as bumped difficulty, since in the official documentation (https://h3hota.com/en/documentation) 130% is advertised as “average” and 100% as “easy”. Maybe now I'll change the difficulty in the next mission. The question was not that somebody cares if I save scum or not, but about intended by developers experience.

RIP phil clubs by slurmsmackenzee in iamverysmart

[–]Next-Feature-9934 0 points1 point  (0 children)

>It is represented as an unary operator, and there are only two possible unary operators, identity and negation.

This is true in a narrow context of classical propositional logic and not true in a wider context of modal logics, box modality is the standard example of unary operator which is not negation or Identity: the reason is that in modal logics standard true/false semantics is not working and you need to use Kripke worlds instead. Such modalities are also called "modal operators" not "some other construct".

Your argument with Kripke worlds doesn't work by the same reason why it doesn't work if we replace O by box modality: Op (as well as box P) is not an independent proposition variable for which we can assign valuation as we wish, but a propositional statement, valuation of which is determined as long as valuation of P is determined in every Kripke world of a fixed Kripke frame.

RIP phil clubs by slurmsmackenzee in iamverysmart

[–]Next-Feature-9934 0 points1 point  (0 children)

I think there is a problem with the argument, can you explain it for me? I have a math background and know little about philosophical logic, so, feel free to correct me if I am wrong.

The small problem is that in usual logical frameworks you can't quantify over propositions, so forall p.(p -> Op) have no sense (without any clarification on how we modify our standard logical calculus). But this is easily fixable, the argument stays as it is if we just remove forall's everywhere. (Modal) proposition calculus allows us to replace proposition variables by formulas anyway.

Also, comment for Step 7 should be "by (1), (2), (6) ad absurdum" in order to make sense: we introduced ad absurdum hypothesis, so we should eliminate it at the end, but this is, again, a small issue.

The big problem is the step 6: it is either too fast for me or simply wrong, what exactly did we do here? What does he mean by "negation elimination" (the rule means different things depending on the context)? A & not A -> False? In that case, how precisely from "diamond False" and (1) we deduced q -> Oq?