propositional logic oor Hongaars

propositional logic

naamwoord

(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

Vertalings in die woordeboek Engels - Hongaars

Ítéletlogika

branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components

voorbeelde

In this chapter, we concentrate on propositional logic and related languages.
Ebben a fejezetben az ítéletlogikára és az ehhez kapcsolódó nyelvekre koncentrálunk.

In propositional logic, of course, we have to write out all the ground instances of each state constraint.
Az ítéletlogikában természetesen meg kell adnunk minden egyes állapotkorlátozás összes alappéldányát.

In propositional logic, a model simply fixes the truth value—true or false—for every proposition symbol.
Az ítéletkalkulusban a modell egyszerűen az igazságértéket – igaz vagy hamis – rögzíti minden ítéletszimbólumra.

In particular, we describe how to learn simple theories in propositional logic.
Speciálisan azzal, hogy hogyan tanulhatók meg a propozíciós logikában megfogalmazott egyszerű elméletek.

For one thing, propositional logic does not require any relation ofcausation or relevance between P and Q.
Az ítéletkalkulus nem kíván semmilyen ok-okozati relációt vagy relevanciát P és Q között.

In propositional logic, we would need copies of each sentence for each time step.
Az ítéletlogikában minden egyes időlépéshez szükségünk volt a mondatok másolatára.

(s, m), which computes the truth value of a propositional logic sentence s in a model m.
(s,m) algoritmust, amely kiszámítja az s ítéletkalkulus mondatnak az igazságértékét egy m modellben.

Stephen Cook (1971) showed that deciding satisfiability of a sentence in propositional logic is NP-complete.
Stephen Cook (Cook, 1971) mutatta meg, hogy a kielégíthetőség eldöntése az ítéletlogikában NP-teljes.

How, then, can it lead to a complete inference procedure for all of propositional logic?
Akkor hogyan vezet ez egy teljes következtetési eljáráshoz az egész ítéletkalkulus számára?

The version of probability theory we present uses an extension of propositional logic for its sentences.
A valószínűség-elmélet itt bemutatott változata az ítéletlogika egy kiterjesztését használja állításaihoz.

"These algorithms are part of the ""technology"" of propositional logic."
Ezek az algoritmusok az ítéletkalkulus „technológiájának” részei.

Bayesian networks play a role roughly analogous to that of propositional logic for definite knowledge.
A Bayes-hálók nagyjából hasonló szerepet töltenek be, mint amit az ítéletlogika a biztos tudás számára.

For example, propositional logic assumes that there are facts that either hold or do not in the world.
Az ítéletlogika feltételezi például, hogy a definiált tények fennállnak vagy nem állnak fenn a világban.

We saw in Chapter 7 that propositional resolution is a refutation complete inference procedure for propositional logic.
Láttuk a 7. fejezetben, hogy a propozíciós rezolúció egy cáfolásteljes következtetési folyamat az ítéletlogikában.

Agents Based on Propositional Logic 227 the environment, the larger the initial knowledge base needs to be.
Minél nagyobb a környezet, annál nagyobb kezdeti tudásbázisra van szükség.

First-Order Logic The wumpus world Some propositional logic axioms for the wumpus world were given in Chapter 7.
A wumpus világ A 7. fejezetben megadtunk néhány ítéletlogikai axiómát a wumpus világra.

We will look at propositional logic and at other kinds of languages to understand what works and what fails.
Megnézzük majd, hogy az ítéletkalkulus és másfajta nyelvek mire képesek, és mire nem.

Every proposition of logic is a modus ponens presented in signs.
A logika minden kijelentése jelekben ábrázolt modus ponens.

Theories which make a proposition of logic appear substantial are always false.
Azok az elméletek, amelyek megengedik, hogy a logika valamely kijelentése tartalmasnak tűnjék, mindig hamisak.

But the propositions of logic say the same thing.
De a logika valamennyi kijelentése ugyanazt mondja.

Every proposition of logic is a modus ponens represented in signs.
A logika minden kijelentése jelekben ábrázolt modus ponens.

But if we do not accept the proposition, the logic falls apart.
De ha nem fogadjuk el a nyitó kijelentést, a logika felbomlik.

Frege regarded the propositions of logic as names, and their arguments as the affixes of those names.
Frege a logika kijelentéseit nevekként fogta fel, e kijelentések argumentumait pedig e nevek indexeiként.

The fact that the propositions of logic are tautologies shows the formal— logical—properties of language and the world.
Az a körülmény, hogy a logika kijelentései tautológiák, a nyelv, a világ formális logikai tulajdonságait mutatja.

The negating proposition determines a logical place different from that of the negated proposition.
A tagadó kijelentés más logikai helyet határoz meg, mint a tagadott kijelentés.