Википедија

Материјална импликација: Разлика помеѓу преработките

Интерактивен преглед на историјата
[непроверена преработка][непроверена преработка]
← Постаро уредувањеПоново уредување →
Избришана содржина Додадена содржина
НагледноВикитекст
Нема опис на уредувањето
Нема опис на уредувањето
Ред 1:
Кај [[исказен калкулус|исказниот калкулус]], или логичкиот калкулус во [[математика]]та, '''материјалната импликација''' или '''материјалниот услов''' е [[бинарна релација|бинарнен]] [[вистинска фукција|вистински функционен]] [[логички оператор]] yielding theво formобликот:
 
''IfАко'' aА ''thenтогаш'' cБ,
 
каде ''А'' и ''Б'' се се исказни променливи (кои се заменуваат со некоја реченица во јазикот). Кај исказот во овој облик, првиот поим, во овој случај ''А'', се нарекува ''[[антецедент]]'' додека вториот поим, во овој случај ''Б'', се нарекува ''[[консеквент]]''. Вистинотоста на антецедентот е [[доволен услов]] за вистинитоста на консеквентот, додека вистинитоста на консеквентот е [[нужен услов]] за вистинитоста на антецедентот.
where ''a'' and ''c'' are statement variables (to be replaced by any meaningful indicative sentence of the language). In a statement of this form, the first term, in this case ''a'', is called the ''[[antecedent]]'' and the second term, in this case ''c'', is called the ''[[consequent]]''. The truth of the antecedent is a [[sufficient condition]] for the truth of the consequent, while the truth of the consequent is a [[necessary condition]] for the truth of the antecedent.
 
Операторот се симболизира со стрелка надесно „→“ (или потковица „⊃“). „Ако A тогаш Б“ се поставува на следниов начин:
The operator is symbolized using a right-arrow "→" (or sometimes a horseshoe "⊃"). "If A then B" is written like this:
 
<math> A \to B</math>
Ред 11:
==Симболизација==
 
AСимболизацијата common(знаците) exerciseе forедна anод introductoryосновните logicелементи textна toлогиката includeсо isкои symbolizations.започнува еден Theseучебник exercisesпо giveлогика. aОвие studentвежби aму sentenceзадаваат orна paragraphученикот ofда textпреведе inеден ordinaryизвадок languageод whichтекст theво studentприроден hasјазик toво translateсимболички intoјазик. theОва symbolicсе language.изведува со Thisпрепознавање isна doneзнаците byсоодветни recognizingна theзборовите ordinary(или languageгрупите equivalentsна ofзборови) theво logicalприродниот termsјазик, which usuallyкои includeобично theсе materialматеријален conditionalуслов, [[disjunction]], [[conjunction]], [[negation]], and (frequently) [[biconditional]]. More advanced logic books and later chapters of introductory volumes often add [[identity]], [[Existential quantification]], and [[Universal quantification]].
 
Different phrases used to identify the material conditional in ordinary language include ''if'', ''only if'', ''given that'', ''provided that'', ''supposing that'', ''implies'', ''even if'', and ''in case''. Many of these phrases are indicators of the antecedent, but others indicate the consequent. It is important to identify the "direction of implication" correctly. For example, "A only if B" is captured by the statement
Преземено од „https://mk.wikipedia.org/wiki/Материјална_импликација“