Википедија

Предикатна логика: Разлика помеѓу преработките

Интерактивен преглед на историјата
[непроверена преработка][непроверена преработка]
Поново уредување →
Избришана содржина Додадена содржина
НагледноВикитекст
Нема опис на уредувањето
 
Нема опис на уредувањето
Ред 1:
Кај [[математичка логика|математичката логика]], '''предикатенпредикатниот калкулус''', '''predicateпредикатната logicлогика''' orили '''calculusкалкулус ofза propositionalисказни functionsфункции''' is(исто) aе [[formalформален systemсистем]] usedкој се употребуа за toопис describeна [[mathematicalматематичка theoryтеорија|mathematicalматематички theoriesтеории]].
 
Предикатната логика е породлжение на [[исказна логика|исказната логика]], која е неадекватна за опис на посложени математички структури. Граматички кажано предикатната логика додава ''предикат-предмет структура'' и ''[[квантификација|квантификатори]]'' врз постоечката исказна логика. Предмет е назив кој се дава на еден член или група на индивидуи ([[множество]]), а предикат е [[релација (математика)|релација]] на оваа група.
The predicate calculus is an extension of [[propositional calculus]], which is inadequate for describing more complex mathematical structures. Grammatically speaking the predicate calculus adds a ''predicate-subject structure'' and ''[[quantification|quantifiers]]'' on top of the existing propositional calculus. A subject is a name for a member of a given group of individuals (a [[set]]) and a predicate is a [[relation (mathematics)|relation]] on this group.
 
Многу е потешко да се расудува во предикатна логика одколку во изказна логика. Генерално, таблиците на вистината не се соодветни на предикатна логика, бидејќи универзално мерлив предикат може да има бескраен домен на интерес.
It is much harder to reason in predicate logic than in propositional calculus. In general, truth-tables are not suitable for predicate logic, as an universally quantified predicate may have an infinite domain of interest.
 
== Идентитети==
Преземено од „https://mk.wikipedia.org/wiki/Предикатна_логика“