Mixing
The meaning of “Fix†in a modal logic proof
Clash Royale CLAN TAG#URR8PPP
up vote
0
down vote
favorite
What is the meaning of "fix" in the following context? This is the beginning of a proof in modal logic "Assume that the wffs X and X⊃Y are K-valid. Therefore for all models based on all frames 〈W,R〉 and for all Γ∈W, Γ⊩X and Γ⊩X⊃Y. Fix a frame 〈W,R〉 and a world Γ∈W." By "Fix" Is he introducing what follows as assumptions within a conditional poof or something else?
logic
asked Jul 24 at 17:25
qualon
1
add a comment |Â
up vote
0
down vote
favorite
What is the meaning of "fix" in the following context? This is the beginning of a proof in modal logic "Assume that the wffs X and X⊃Y are K-valid. Therefore for all models based on all frames 〈W,R〉 and for all Γ∈W, Γ⊩X and Γ⊩X⊃Y. Fix a frame 〈W,R〉 and a world Γ∈W." By "Fix" Is he introducing what follows as assumptions within a conditional poof or something else?
logic
asked Jul 24 at 17:25
qualon
1
2
It means consider a particular thing, in this case the frame and the world, that won't change within the current context.
– Ian
Jul 24 at 17:31
add a comment |Â
up vote
0
down vote
favorite
up vote
0
down vote
favorite
What is the meaning of "fix" in the following context? This is the beginning of a proof in modal logic "Assume that the wffs X and X⊃Y are K-valid. Therefore for all models based on all frames 〈W,R〉 and for all Γ∈W, Γ⊩X and Γ⊩X⊃Y. Fix a frame 〈W,R〉 and a world Γ∈W." By "Fix" Is he introducing what follows as assumptions within a conditional poof or something else?
logic
asked Jul 24 at 17:25
qualon
1
What is the meaning of "fix" in the following context? This is the beginning of a proof in modal logic "Assume that the wffs X and X⊃Y are K-valid. Therefore for all models based on all frames 〈W,R〉 and for all Γ∈W, Γ⊩X and Γ⊩X⊃Y. Fix a frame 〈W,R〉 and a world Γ∈W." By "Fix" Is he introducing what follows as assumptions within a conditional poof or something else?
logic
asked Jul 24 at 17:25
qualon
1
asked Jul 24 at 17:25
qualon
1
asked Jul 24 at 17:25
qualon
1
asked Jul 24 at 17:25
qualon
1
1
2
It means consider a particular thing, in this case the frame and the world, that won't change within the current context.
– Ian
Jul 24 at 17:31
add a comment |Â
2
It means consider a particular thing, in this case the frame and the world, that won't change within the current context.
– Ian
Jul 24 at 17:31
2
2
It means consider a particular thing, in this case the frame and the world, that won't change within the current context.
– Ian
Jul 24 at 17:31
It means consider a particular thing, in this case the frame and the world, that won't change within the current context.
– Ian
Jul 24 at 17:31
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2861583%2fthe-meaning-of-fix-in-a-modal-logic-proof%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
2
It means consider a particular thing, in this case the frame and the world, that won't change within the current context.
– Ian
Jul 24 at 17:31