- nahaj
- m I, D. -a; lm M. -e, D. -ów1. «skórzany, pleciony bicz na krótkiej rękojeści; batog, kańczug»
Uderzyć konia nahajem.
2. pot. «uderzenie, raz zadane tym biczem»‹ukr. z tat.›
Słownik języka polskiego . 2013.
Uderzyć konia nahajem.
Słownik języka polskiego . 2013.
nahaj — {{/stl 13}}{{stl 8}}rz. mnż III, D. a; lm D. ów {{/stl 8}}{{stl 20}} {{/stl 20}}{{stl 12}}1. {{/stl 12}}{{stl 7}} bicz, batog pleciony z rzemieni, osadzony na krótkiej rękojeści : {{/stl 7}}{{stl 10}}Zbić kogoś nahajem. {{/stl 10}}{{stl 20}}… … Langenscheidt Polski wyjaśnień
nahajka — ż III, CMs. nahajkajce; lm D. nahajkajek 1. → nahaj w zn. 1 Pięciorzemienna nahajka. 2. pot. → nahaj w zn. 2 Wymierzyć komuś kilka nahajek … Słownik języka polskiego
nahajka — {{/stl 13}}{{stl 8}}rz. ż Ib, CMc. nahajkajce; lm D. nahajkajek {{/stl 8}}{{stl 20}} {{/stl 20}}{{stl 12}}1. {{/stl 12}}{{stl 7}}to samo co nahaj w zn. 1.: Carska policja biła demonstrantów nahajkami. {{/stl 7}}{{stl 20}} {{/stl 20}}{{stl 12}}2.… … Langenscheidt Polski wyjaśnień
Axiom S5 — is the distinctive axiom of the S5 modal logic and states that if necessarily possibly p , then possibly p . It also states, perhaps less intuitively and more controversially, that if possibly necessarily p , then necessarily p . The use of S5 is … Wikipedia
Succession to Muhammad — For the book by Wilferd Madelung, see The Succession to Muhammad. The Succession to Muhammad concerns with the various aspects of successorship of Muhammad as the Prophet of Islam, comprising who is his successor, how should he be elected, the… … Wikipedia
Accessibility relation — An accessibility relation is a binary relation R,! between possible worlds which has very powerful uses in both the formal/theoretical aspects of modal logic as well as in its applications to things like epistemology, metaphysics, and value… … Wikipedia
Frederic Brenton Fitch — (1908 1987) was an American logician, and was the inventor of Fitch style calculus. He was a professor at Yale University. Related Stanford University has produced an application called [http://www csli.stanford.edu/LPL/ Fitch] .An online Java… … Wikipedia
Fitch-style calculus — is a method for constructing formal proofs used in first order logic. It was invented by American logician Frederic Brenton Fitch. Fitch style proofs involve the atomic sentences of first order logic, which are arranged in premises, lemmas, and… … Wikipedia
S5 (modal logic) — In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book Symbolic Logic . It is a normal modal logic, and one of the oldest systems of modal logic of any… … Wikipedia
Literatura en croata — es aquella realizada en serbocroata en Croacia y Bosnia y Herzegovina, aunque algunos autores escriben en la Unión Europea, Canadá o en los EE. UU.. A pesar de que tradicionalmente se ha considerado el croata como una versión del serbocroata… … Wikipedia Español