Mixing
Turn into Proposition logic
0
$begingroup$
I am new to logic. I am suffering to turn one of the following sentences from normal form into propositional logic. Paragraph as follows:
If Sahan has knowledge about computer hardware and proper training, he will be able to
assemble a computer. If Sahan hadn’t a proper training he will not have a job. But Sahan
will have a job. Therefore Sahan can assemble a computer.
I created propositions for each sentences, but my problem is in second sentences. According to the above para to create a propositions, Sahan has knowledge about proper training and Sahan hadn’t a proper training are both or something different. I mean have I want to create two separate propositions for each sentences?
Any help much appreciated.
logic propositional-calculus artificial-intelligence
edited Jan 5 at 10:05
Mauro ALLEGRANZA
65.1k448112
asked Jan 5 at 10:01
nasik hameednasik hameed
1
$endgroup$
|
show 7 more comments
0
$begingroup$
I am new to logic. I am suffering to turn one of the following sentences from normal form into propositional logic. Paragraph as follows:
If Sahan has knowledge about computer hardware and proper training, he will be able to
assemble a computer. If Sahan hadn’t a proper training he will not have a job. But Sahan
will have a job. Therefore Sahan can assemble a computer.
I created propositions for each sentences, but my problem is in second sentences. According to the above para to create a propositions, Sahan has knowledge about proper training and Sahan hadn’t a proper training are both or something different. I mean have I want to create two separate propositions for each sentences?
Any help much appreciated.
logic propositional-calculus artificial-intelligence
edited Jan 5 at 10:05
Mauro ALLEGRANZA
65.1k448112
asked Jan 5 at 10:01
nasik hameednasik hameed
1
$endgroup$
1
$begingroup$
"Sahan has knowledge about computer hardware and proper training" is the conjunction of two sentences : "Sahan has knowledge about computer hardware" and "Sahan has proper training".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:05
1
$begingroup$
What if Sahan has proper training but not knowledge about computer hardware ? This satisfies the conditions, but we cannot conclude that he can assemble a computer.
$endgroup$
– Peter
Jan 5 at 10:08
$begingroup$
Thus, for the first sentences you need three prop variables : $K$ for "Sahan has knowledge about computer hardware", $T$ for "Sahan has proper training" and $A$ for "Sahan can (or : is able to) assemble a computer".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:11
$begingroup$
p -> Sahan has knowledge about computer hardware. q -> Sahan has knowledge about proper training. r he will be able to assemble a computer. s -> Sahan hadn’t a proper training t -> Sahan will have a job. Is this correct?
$endgroup$
– nasik hameed
Jan 5 at 10:14
1
$begingroup$
NO "Sahan has proper training." If we name it $q$, then "Sahan hadn’t a proper training" will be $lnot q$.
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:19
|
show 7 more comments
0
0
0
$begingroup$
I am new to logic. I am suffering to turn one of the following sentences from normal form into propositional logic. Paragraph as follows:
If Sahan has knowledge about computer hardware and proper training, he will be able to
assemble a computer. If Sahan hadn’t a proper training he will not have a job. But Sahan
will have a job. Therefore Sahan can assemble a computer.
I created propositions for each sentences, but my problem is in second sentences. According to the above para to create a propositions, Sahan has knowledge about proper training and Sahan hadn’t a proper training are both or something different. I mean have I want to create two separate propositions for each sentences?
Any help much appreciated.
logic propositional-calculus artificial-intelligence
edited Jan 5 at 10:05
Mauro ALLEGRANZA
65.1k448112
asked Jan 5 at 10:01
nasik hameednasik hameed
1
$endgroup$
I am new to logic. I am suffering to turn one of the following sentences from normal form into propositional logic. Paragraph as follows:
If Sahan has knowledge about computer hardware and proper training, he will be able to
assemble a computer. If Sahan hadn’t a proper training he will not have a job. But Sahan
will have a job. Therefore Sahan can assemble a computer.
I created propositions for each sentences, but my problem is in second sentences. According to the above para to create a propositions, Sahan has knowledge about proper training and Sahan hadn’t a proper training are both or something different. I mean have I want to create two separate propositions for each sentences?
Any help much appreciated.
logic propositional-calculus artificial-intelligence
logic propositional-calculus artificial-intelligence
edited Jan 5 at 10:05
Mauro ALLEGRANZA
65.1k448112
asked Jan 5 at 10:01
nasik hameednasik hameed
1
edited Jan 5 at 10:05
Mauro ALLEGRANZA
65.1k448112
asked Jan 5 at 10:01
nasik hameednasik hameed
1
edited Jan 5 at 10:05
Mauro ALLEGRANZA
65.1k448112
edited Jan 5 at 10:05
Mauro ALLEGRANZA
65.1k448112
edited Jan 5 at 10:05
Mauro ALLEGRANZA
65.1k448112
65.1k448112
asked Jan 5 at 10:01
nasik hameednasik hameed
1
asked Jan 5 at 10:01
nasik hameednasik hameed
1
asked Jan 5 at 10:01
nasik hameednasik hameed
1
1
1
$begingroup$
"Sahan has knowledge about computer hardware and proper training" is the conjunction of two sentences : "Sahan has knowledge about computer hardware" and "Sahan has proper training".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:05
1
$begingroup$
What if Sahan has proper training but not knowledge about computer hardware ? This satisfies the conditions, but we cannot conclude that he can assemble a computer.
$endgroup$
– Peter
Jan 5 at 10:08
$begingroup$
Thus, for the first sentences you need three prop variables : $K$ for "Sahan has knowledge about computer hardware", $T$ for "Sahan has proper training" and $A$ for "Sahan can (or : is able to) assemble a computer".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:11
$begingroup$
p -> Sahan has knowledge about computer hardware. q -> Sahan has knowledge about proper training. r he will be able to assemble a computer. s -> Sahan hadn’t a proper training t -> Sahan will have a job. Is this correct?
$endgroup$
– nasik hameed
Jan 5 at 10:14
1
$begingroup$
NO "Sahan has proper training." If we name it $q$, then "Sahan hadn’t a proper training" will be $lnot q$.
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:19
|
show 7 more comments
1
$begingroup$
"Sahan has knowledge about computer hardware and proper training" is the conjunction of two sentences : "Sahan has knowledge about computer hardware" and "Sahan has proper training".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:05
1
$begingroup$
What if Sahan has proper training but not knowledge about computer hardware ? This satisfies the conditions, but we cannot conclude that he can assemble a computer.
$endgroup$
– Peter
Jan 5 at 10:08
$begingroup$
Thus, for the first sentences you need three prop variables : $K$ for "Sahan has knowledge about computer hardware", $T$ for "Sahan has proper training" and $A$ for "Sahan can (or : is able to) assemble a computer".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:11
$begingroup$
p -> Sahan has knowledge about computer hardware. q -> Sahan has knowledge about proper training. r he will be able to assemble a computer. s -> Sahan hadn’t a proper training t -> Sahan will have a job. Is this correct?
$endgroup$
– nasik hameed
Jan 5 at 10:14
1
$begingroup$
NO "Sahan has proper training." If we name it $q$, then "Sahan hadn’t a proper training" will be $lnot q$.
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:19
1
1
$begingroup$
"Sahan has knowledge about computer hardware and proper training" is the conjunction of two sentences : "Sahan has knowledge about computer hardware" and "Sahan has proper training".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:05
$begingroup$
"Sahan has knowledge about computer hardware and proper training" is the conjunction of two sentences : "Sahan has knowledge about computer hardware" and "Sahan has proper training".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:05
1
1
$begingroup$
What if Sahan has proper training but not knowledge about computer hardware ? This satisfies the conditions, but we cannot conclude that he can assemble a computer.
$endgroup$
– Peter
Jan 5 at 10:08
$begingroup$
What if Sahan has proper training but not knowledge about computer hardware ? This satisfies the conditions, but we cannot conclude that he can assemble a computer.
$endgroup$
– Peter
Jan 5 at 10:08
$begingroup$
Thus, for the first sentences you need three prop variables : $K$ for "Sahan has knowledge about computer hardware", $T$ for "Sahan has proper training" and $A$ for "Sahan can (or : is able to) assemble a computer".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:11
$begingroup$
Thus, for the first sentences you need three prop variables : $K$ for "Sahan has knowledge about computer hardware", $T$ for "Sahan has proper training" and $A$ for "Sahan can (or : is able to) assemble a computer".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:11
$begingroup$
p -> Sahan has knowledge about computer hardware. q -> Sahan has knowledge about proper training. r he will be able to assemble a computer. s -> Sahan hadn’t a proper training t -> Sahan will have a job. Is this correct?
$endgroup$
– nasik hameed
Jan 5 at 10:14
$begingroup$
p -> Sahan has knowledge about computer hardware. q -> Sahan has knowledge about proper training. r he will be able to assemble a computer. s -> Sahan hadn’t a proper training t -> Sahan will have a job. Is this correct?
$endgroup$
– nasik hameed
Jan 5 at 10:14
1
1
$begingroup$
NO "Sahan has proper training." If we name it $q$, then "Sahan hadn’t a proper training" will be $lnot q$.
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:19
$begingroup$
NO "Sahan has proper training." If we name it $q$, then "Sahan hadn’t a proper training" will be $lnot q$.
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:19
|
show 7 more comments
0
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
draft saved
draft discarded
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%2f3062575%2fturn-into-proposition-logic%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
active
oldest
votes
active
oldest
votes
active
oldest
votes
draft saved
draft discarded
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
draft saved
draft discarded
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%2f3062575%2fturn-into-proposition-logic%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
1
$begingroup$
"Sahan has knowledge about computer hardware and proper training" is the conjunction of two sentences : "Sahan has knowledge about computer hardware" and "Sahan has proper training".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:05
1
$begingroup$
What if Sahan has proper training but not knowledge about computer hardware ? This satisfies the conditions, but we cannot conclude that he can assemble a computer.
$endgroup$
– Peter
Jan 5 at 10:08
$begingroup$
Thus, for the first sentences you need three prop variables : $K$ for "Sahan has knowledge about computer hardware", $T$ for "Sahan has proper training" and $A$ for "Sahan can (or : is able to) assemble a computer".
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:11
$begingroup$
p -> Sahan has knowledge about computer hardware. q -> Sahan has knowledge about proper training. r he will be able to assemble a computer. s -> Sahan hadn’t a proper training t -> Sahan will have a job. Is this correct?
$endgroup$
– nasik hameed
Jan 5 at 10:14
1
$begingroup$
NO "Sahan has proper training." If we name it $q$, then "Sahan hadn’t a proper training" will be $lnot q$.
$endgroup$
– Mauro ALLEGRANZA
Jan 5 at 10:19