Mixing
Predicate logic, substitution when using resolutionmethod
up vote
0
down vote
favorite
Formulae F = p(x) ∧ (q(y) ∨ r(z))
substitution = {x := a, y := f(z), z := g(b)}
This example is from a course am having right now. I dont know what I am missing
but can someone explain why y and z are substituted by a function (f(z), g(b)) while x is substituted with a constant (a)?
I cant find the reason in the book, on the recorded lecture or on the classforums, so I guess its really obvious.
Really greatfull for input
/Jonatan
substitution
asked yesterday
Jonatan Helenason
1
New contributor
Jonatan Helenason is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |
up vote
0
down vote
favorite
Formulae F = p(x) ∧ (q(y) ∨ r(z))
substitution = {x := a, y := f(z), z := g(b)}
This example is from a course am having right now. I dont know what I am missing
but can someone explain why y and z are substituted by a function (f(z), g(b)) while x is substituted with a constant (a)?
I cant find the reason in the book, on the recorded lecture or on the classforums, so I guess its really obvious.
Really greatfull for input
/Jonatan
substitution
asked yesterday
Jonatan Helenason
1
New contributor
Jonatan Helenason is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |
up vote
0
down vote
favorite
up vote
0
down vote
favorite
Formulae F = p(x) ∧ (q(y) ∨ r(z))
substitution = {x := a, y := f(z), z := g(b)}
This example is from a course am having right now. I dont know what I am missing
but can someone explain why y and z are substituted by a function (f(z), g(b)) while x is substituted with a constant (a)?
I cant find the reason in the book, on the recorded lecture or on the classforums, so I guess its really obvious.
Really greatfull for input
/Jonatan
substitution
asked yesterday
Jonatan Helenason
1
New contributor
Jonatan Helenason is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
Formulae F = p(x) ∧ (q(y) ∨ r(z))
substitution = {x := a, y := f(z), z := g(b)}
This example is from a course am having right now. I dont know what I am missing
but can someone explain why y and z are substituted by a function (f(z), g(b)) while x is substituted with a constant (a)?
I cant find the reason in the book, on the recorded lecture or on the classforums, so I guess its really obvious.
Really greatfull for input
/Jonatan
substitution
substitution
asked yesterday
Jonatan Helenason
1
New contributor
Jonatan Helenason is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked yesterday
Jonatan Helenason
1
New contributor
Jonatan Helenason is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked yesterday
Jonatan Helenason
1
New contributor
Jonatan Helenason is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked yesterday
Jonatan Helenason
1
asked yesterday
Jonatan Helenason
1
1
New contributor
Jonatan Helenason is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
Jonatan Helenason is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
Jonatan Helenason is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |
add a comment |
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Jonatan Helenason is a new contributor. Be nice, and check out our Code of Conduct.
Jonatan Helenason is a new contributor. Be nice, and check out our Code of Conduct.
Jonatan Helenason is a new contributor. Be nice, and check out our Code of Conduct.
Jonatan Helenason is a new contributor. Be nice, and check out our Code of Conduct.
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
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3004915%2fpredicate-logic-substitution-when-using-resolutionmethod%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
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
Required, but never shown
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
Required, but never shown
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
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
