logic Who acts: Logic, step, you, I, true/false, computer · What happens: be, follow, reach, not see, step, use · To what, where: sensible answer, study, reason, logic, set, rules · Speech: someone speaks here
«logic» in the school dictionary: its 4 meanings for a pupil and its 7 examples, every sentence parsed by Mova itself — its syntax tree, a dependency tree in the style of Universal Dependencies, and its pragmatics clause by clause. The word in the dictionary, with its sense in the lessons: logic in the school dictionary .
Meaning 1 Logic is careful, clear thinking where each step follows from the one before, so you reach a sensible answer.
The tree, 19 words nsubj cop punct amod obl advmod det nsubj acl:relcl case det obl advmod punct advmod nsubj parataxis det amod obj punct root Logic NOUN is AUX careful ADJ , PUNCT clear ADJ thinking NOUN where ADV each DET step NOUN follows VERB from ADP the DET one NOUN before ADV , PUNCT so ADV you PRON reach VERB a DET sensible ADJ answer NOUN . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 Logic logic NOUN Number=Sing 3 careful nsubj 2 is be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 3 careful cop 3 careful careful ADJ Degree=Pos root root 4 , , PUNCT _ 6 thinking punct 5 clear clear ADJ Degree=Pos 6 thinking amod 6 thinking thinking NOUN Number=Sing 3 careful obl 7 where where ADV PronType=Rel 10 follows advmod 8 each each DET PronType=Tot 9 step det 9 step step NOUN Number=Sing 10 follows nsubj 10 follows follow VERB Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 6 thinking acl:relcl 11 from from ADP _ 13 one case 12 the the DET Definite=Def PronType=Art 13 one det 13 one one NOUN Number=Sing 10 follows obl 14 before before ADV _ 10 follows advmod 15 , , PUNCT _ 18 reach punct 16 so so ADV _ 18 reach advmod 17 you you PRON Case=Nom Person=2 PronType=Prs 18 reach nsubj 18 reach reach VERB Mood=Ind Number=Sing Person=2 Tense=Pres VerbForm=Fin 3 careful parataxis 19 a a DET Definite=Ind PronType=Art 21 answer det 20 sensible sensible ADJ Degree=Pos 21 answer amod 21 answer answer NOUN Number=Sing 18 reach obj 22 . . PUNCT _ 3 careful punct
# verb tense, mood who what, whom to whom where when other roles by
1 is present Logic clear thinking obl ; careful property tree rules 2 follow present each step from the one; before property vn chase-51.6 «NP V NP PP.location»: agent=Agent from one=Trajectory 3 reach present you a sensible answer vn body_motion-49.2-1-1 «NP V NP ADV»: agent=Agent answer=Theme
One row per clause the reader finds. «not said here»: a role filled from the clause above. «roles by»: a VerbNet class and frame when one fits the verb, else the reader's rules on the tree.
Meaning 2 Logic is also the study of correct reasoning, a part of maths and philosophy.
The tree, 14 words nsubj cop advmod det case amod nmod punct det conj case nmod cc conj punct root Logic NOUN is AUX also ADV the DET study NOUN of ADP correct ADJ reasoning NOUN , PUNCT a DET part NOUN of ADP maths NOUN and CCONJ philosophy NOUN . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 Logic logic NOUN Number=Sing 5 study nsubj 2 is be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 5 study cop 3 also also ADV _ 5 study advmod 4 the the DET Definite=Def PronType=Art 5 study det 5 study study NOUN Number=Sing root root 6 of of ADP _ 8 reasoning case 7 correct correct ADJ Degree=Pos 8 reasoning amod 8 reasoning reasoning NOUN Number=Sing 5 study nmod 9 , , PUNCT _ 11 part punct 10 a a DET Definite=Ind PronType=Art 11 part det 11 part part NOUN Number=Sing 5 study conj 12 of of ADP _ 13 maths case 13 maths math NOUN Number=Plur 11 part nmod 14 and and CCONJ _ 15 philosophy cc 15 philosophy philosophy NOUN Number=Sing 13 maths conj 16 . . PUNCT _ 5 study punct
# verb tense, mood who what, whom to whom where when other roles by
1 is a present Logic the study and a part of maths and philosophy of correct reasoning tree rules
Meaning 3 The logic of something is the reason or sense behind it: «I don't see the logic of that plan».
The tree, 20 words det nsubj case nmod cop det cc conj case nmod punct punct nsubj aux advmod parataxis det obj case det nmod punct punct root The DET logic NOUN of ADP something PRON is AUX the DET reason NOUN or CCONJ sense NOUN behind ADP it PRON : PUNCT « PUNCT I PRON do AUX n't PART see VERB the DET logic NOUN of ADP that DET plan NOUN » PUNCT . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 The the DET Definite=Def PronType=Art 2 logic det 2 logic logic NOUN Number=Sing 7 reason nsubj 3 of of ADP _ 4 something case 4 something something PRON Number=Sing PronType=Ind 2 logic nmod 5 is be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 7 reason cop 6 the the DET Definite=Def PronType=Art 7 reason det 7 reason reason NOUN Number=Sing root root 8 or or CCONJ _ 9 sense cc 9 sense sense NOUN Number=Sing 7 reason conj 10 behind behind ADP _ 11 it case 11 it it PRON Case=Acc Gender=Neut Number=Sing Person=3 PronType=Prs 9 sense nmod 12 : : PUNCT _ 17 see punct 13 « « PUNCT _ 17 see punct 14 I I PRON Case=Nom Number=Sing Person=1 PronType=Prs 17 see nsubj 15 do do AUX Mood=Ind Number=Sing Person=1 Tense=Pres VerbForm=Fin 17 see aux 16 n't not PART Polarity=Neg 17 see advmod 17 see see VERB VerbForm=Inf 7 reason parataxis 18 the the DET Definite=Def PronType=Art 19 logic det 19 logic logic NOUN Number=Sing 17 see obj 20 of of ADP _ 22 plan case 21 that that DET Number=Sing PronType=Dem 22 plan det 22 plan plan NOUN Number=Sing 19 logic nmod 23 » » PUNCT _ 17 see punct 24 . . PUNCT _ 7 reason punct
# verb tense, mood who what, whom to whom where when other roles by
1 is a present the logic of something the reason or sense behind sense tree rules 2 not see in a quote present · do-support I the logic of that plan vn comprehend-87.2-1-1 «NP V NP»: agent=Experiencer logic=Stimulus
Meaning 4 Usage: computers — kept apart, not parsed.
Logic is the set of rules and true/false steps a computer or program follows.
The tree, 14 words nsubj cop det case nmod cc nsubj acl:relcl det nsubj cc conj advcl punct root Logic NOUN is AUX the DET set NOUN of ADP rules NOUN and CCONJ true/false NOUN steps VERB a DET computer NOUN or CCONJ program NOUN follows VERB . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 Logic logic NOUN Number=Sing 4 set nsubj 2 is be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 4 set cop 3 the the DET Definite=Def PronType=Art 4 set det 4 set set NOUN Number=Sing root root 5 of of ADP _ 6 rules case 6 rules rule NOUN Number=Plur 4 set nmod 7 and and CCONJ _ 9 steps cc 8 true/false true/false NOUN Number=Sing 9 steps nsubj 9 steps step VERB Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 6 rules acl:relcl 10 a a DET Definite=Ind PronType=Art 11 computer det 11 computer computer NOUN Number=Sing 14 follows nsubj 12 or or CCONJ _ 13 program cc 13 program program NOUN Number=Sing 11 computer conj 14 follows follow VERB Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 9 steps advcl 15 . . PUNCT _ 4 set punct
# verb tense, mood who what, whom to whom where when other roles by
1 is a present Logic the set of rules tree rules 2 step present true/false rules not said here vn run-51.3.2 «PP.location V NP»: agent=Initial_Location rule=Theme 3 follow present a computer or program vn occur-48.3-1 «NP V»: agent=Theme
Example 1 Use logic to solve the puzzle: the cat is not in the red house.
The tree, 14 words obj mark advcl det obj punct det nsubj cop advmod case det amod obl punct root Use VERB logic NOUN to PART solve VERB the DET puzzle NOUN : PUNCT the DET cat NOUN is AUX not PART in ADP the DET red ADJ house NOUN . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 Use use VERB Mood=Imp VerbForm=Fin root root 2 logic logic NOUN Number=Sing 1 Use obj 3 to to PART _ 4 solve mark 4 solve solve VERB VerbForm=Inf 1 Use advcl 5 the the DET Definite=Def PronType=Art 6 puzzle det 6 puzzle puzzle NOUN Number=Sing 4 solve obj 7 : : PUNCT _ 15 house punct 8 the the DET Definite=Def PronType=Art 9 cat det 9 cat cat NOUN Number=Sing 15 house nsubj 10 is be AUX Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 15 house cop 11 not not PART Polarity=Neg 15 house advmod 12 in in ADP _ 15 house case 13 the the DET Definite=Def PronType=Art 15 house det 14 red red ADJ Degree=Pos 15 house amod 15 house house NOUN Number=Sing 1 Use obl 16 . . PUNCT _ 1 Use punct
# verb tense, mood who what, whom to whom where when other roles by
1 use imperative you not said here logic vn eat-39.1 «NP V NP»: agent=Agent logic=Patient 2 solve to-infinitive you not said here the puzzle vn discover-84 «NP V NP»: agent=Agent puzzle=Topic 3 not is present the cat the red house tree rules
Example 2 There is no logic in walking home in the rain without your coat.
expl det nsubj mark acl advmod case det obl case nmod:poss obl punct root There PRON is VERB no DET logic NOUN in SCONJ walking VERB home ADV in ADP the DET rain NOUN without ADP your PRON coat NOUN . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 There there PRON PronType=Dem 2 is expl 2 is be VERB Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin root root 3 no no DET PronType=Neg 4 logic det 4 logic logic NOUN Number=Sing 2 is nsubj 5 in in SCONJ _ 6 walking mark 6 walking walk VERB VerbForm=Ger 4 logic acl 7 home home ADV _ 6 walking advmod 8 in in ADP _ 10 rain case 9 the the DET Definite=Def PronType=Art 10 rain det 10 rain rain NOUN Number=Sing 6 walking obl 11 without without ADP _ 13 coat case 12 your your PRON Case=Gen Person=2 Poss=Yes PronType=Prs 13 coat nmod:poss 13 coat coat NOUN Number=Sing 6 walking obl 14 . . PUNCT _ 2 is punct
# verb tense, mood who what, whom to whom where when other roles by
1 be present no logic there vn exist-47.1 «NP V»: agent=Theme 2 walk gerund no logic not said here the rain without your coat; home property vn run-51.3.2-2-1 «NP V PP.location»: agent=Theme in rain=Trajectory
Example 3 In coding, logic decides what the robot does next.
case obl punct nsubj obj det nsubj ccomp advmod punct root In ADP coding NOUN , PUNCT logic NOUN decides VERB what PRON the DET robot NOUN does VERB next ADV . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 In in ADP _ 2 coding case 2 coding coding NOUN Number=Sing 5 decides obl 3 , , PUNCT _ 2 coding punct 4 logic logic NOUN Number=Sing 5 decides nsubj 5 decides decide VERB Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin root root 6 what what PRON PronType=Int 9 does obj 7 the the DET Definite=Def PronType=Art 8 robot det 8 robot robot NOUN Number=Sing 9 does nsubj 9 does do VERB Mood=Ind Number=Sing Person=3 Tense=Pres VerbForm=Fin 5 decides ccomp 10 next next ADV _ 9 does advmod 11 . . PUNCT _ 5 decides punct
# verb tense, mood who what, whom to whom where when other roles by
1 decide present logic coding vn correspond-36.1-1 «NP V what S_INF»: agent=Agent clause=Topic 2 do present the robot next property vn act-114-1 «NP V NP»: agent=Agent what=Eventuality
Example 4 Sherlock Holmes solved crimes with logic.
nsubj flat obj case obl punct root Sherlock PROPN Holmes PROPN solved VERB crimes NOUN with ADP logic NOUN . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 Sherlock Sherlock PROPN Number=Sing 3 solved nsubj 2 Holmes Holmes PROPN Number=Sing 1 Sherlock flat 3 solved solve VERB Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin root root 4 crimes crime NOUN Number=Plur 3 solved obj 5 with with ADP _ 6 logic case 6 logic logic NOUN Number=Sing 3 solved obl 7 . . PUNCT _ 3 solved punct
# verb tense, mood who what, whom to whom where when other roles by
1 solve past Sherlock crimes with logic vn discover-84 «NP V NP»: agent=Agent crime=Topic
Example 5 Her logic was good, but one fact was wrong.
nmod:poss nsubj cop punct cc nummod nsubj cop conj punct root Her PRON logic NOUN was AUX good ADJ , PUNCT but CCONJ one NUM fact NOUN was AUX wrong ADJ . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 Her her PRON Case=Gen Gender=Fem Number=Sing Person=3 Poss=Yes PronType=Prs 2 logic nmod:poss 2 logic logic NOUN Number=Sing 4 good nsubj 3 was be AUX Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin 4 good cop 4 good good ADJ Degree=Pos root root 5 , , PUNCT _ 10 wrong punct 6 but but CCONJ _ 10 wrong cc 7 one one NUM NumForm=Word NumType=Card 8 fact nummod 8 fact fact NOUN Number=Sing 10 wrong nsubj 9 was be AUX Mood=Ind Number=Sing Person=3 Tense=Past VerbForm=Fin 10 wrong cop 10 wrong wrong ADJ Degree=Pos 4 good conj 11 . . PUNCT _ 4 good punct
# verb tense, mood who what, whom to whom where when other roles by
1 is past Her logic good property tree rules 2 is past one fact wrong property tree rules
Example 6 We learned about «and», «or» and «not» in logic.
The tree, 9 words nsubj case punct cc punct punct punct cc punct cc punct advmod punct case obl punct root We PRON learned VERB about ADP « PUNCT and CCONJ » PUNCT , PUNCT « PUNCT or CCONJ » PUNCT and CCONJ « PUNCT not PART » PUNCT in ADP logic NOUN . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 We we PRON Case=Nom Number=Plur Person=1 PronType=Prs 2 learned nsubj 2 learned learn VERB Mood=Ind Number=Plur Person=1 Tense=Past VerbForm=Fin root root 3 about about ADP _ 5 and case 4 « « PUNCT _ 5 and punct 5 and and CCONJ _ 2 learned cc 6 » » PUNCT _ 2 learned punct 7 , , PUNCT _ 16 logic punct 8 « « PUNCT _ 16 logic punct 9 or or CCONJ _ 16 logic cc 10 » » PUNCT _ 9 or punct 11 and and CCONJ _ 16 logic cc 12 « « PUNCT _ 13 not punct 13 not not PART Polarity=Neg 16 logic advmod 14 » » PUNCT _ 13 not punct 15 in in ADP _ 16 logic case 16 logic logic NOUN Number=Sing 2 learned obl 17 . . PUNCT _ 2 learned punct
# verb tense, mood who what, whom to whom where when other roles by
1 learn past We logic vn learn-14-1 «NP V»: agent=Agent
Example 7 I can't follow the logic of this rule.
nsubj aux advmod det obj case det nmod punct root I PRON ca AUX n't PART follow VERB the DET logic NOUN of ADP this DET rule NOUN . PUNCT The words, one row each (CoNLL-U) # word lemma UPOS features head relation 1 I I PRON Case=Nom Number=Sing Person=1 PronType=Prs 4 follow nsubj 2 ca can AUX VerbForm=Fin 4 follow aux 3 n't not PART Polarity=Neg 4 follow advmod 4 follow follow VERB VerbForm=Inf root root 5 the the DET Definite=Def PronType=Art 6 logic det 6 logic logic NOUN Number=Sing 4 follow obj 7 of of ADP _ 9 rule case 8 this this DET Number=Sing PronType=Dem 9 rule det 9 rule rule NOUN Number=Sing 6 logic nmod 10 . . PUNCT _ 4 follow punct
# verb tense, mood who what, whom to whom where when other roles by
1 not follow can I the logic of this rule vn chase-51.6 «NP V NP»: agent=Agent logic=Theme
Text: the school dictionary of Mova's schools (world/data/dictionary-schools/), written for Mova. Trees: Mova's own parse — the en model on the CPU, when the site is built — not checked by a teacher; they may be wrong. Frames: Mova's frames reader (prag), each meaning and example read on its own. Elamur Cosmic License.
← previous loggingnext → logical↑ back to L in school dictionary This page in Markdown → https://md.mova.elamur.ai/free/en/corpora/dictionaries/school/L/logic/