Orðaskrá

enskaíslenskaí vinnslu

Setjið inn leitarorð eða tilgreinið leitarskilyrði með reglulegri segð.

proposition, n.

1. fullyrðing, yrðing
   -> assertion, formula 2, meaningful formula, sentence 1, statement 2, well-formed formula
2. setning
   -> theorem

classical propositional logic

1. sígild yrðingarökfræði

decidable proposition

1. úrskurðanleg fullyrðing, úrskurðanleg yrðing

general proposition

1. altæk fullyrðing, alhæf fullyrðing

logic of propositions

1. yrðingarökfræði, fullyrðingarökfræði
   = propositional logic, sentential logic
   -> propositional calculus

propositional calculus

1. yrðingareikningur, fullyrðingareikningur
   = sentential calculus
   -> propositional logic

propositional connective

1. samtenging, tenging, tengill
   = connective, connective symbol, sentential connective, truth-functional connective

propositional form

1. yrðingamót
   -> form 2

propositional function

1. yrðingafall
   = sentential function, statement function
   -> predicate

propositional logic

1. yrðingarökfræði, fullyrðingarökfræði
   = logic of propositions, sentential logic
   -> propositional calculus

propositional variable

1. yrðingabreyta, fullyrðingabreyta
   = sentential variable

true proposition

1. sönn fullyrðing, sönn yrðing

undecidable proposition

1. óúrskurðanleg fullyrðing, óúrskurðanleg yrðing