You are on page 1of 4

Terimler

Mantk II

A
aksiyomlu

axiomatic

aksiyomlula³trlm³

axiomatized

atamak

to assign (a value)

ayrtm

disjunction

ayrk

disjoint

B
ba§l

bounded (formula, variable etc.)
symmetric

bak³ml

barndrmak

to contain, to include

ba³langç dilimi
birey sabiti

initial segment

individual constant

birle³im

combination, (set) unity

birletim

conjunction

bölümlü

molecular

bölümsüz

atomic (formula, sentence etc.)

1

ve ancak böyleyse i³lenik if and only if (i) argument (of a function) 2 .D de§i³tirim denk substitution equivalent deyimle³tirmek dizge to formulate calculus truth do§ruluk do§ruluk fonksiyonlu truth-functional do§ruluk de§eri atamas do§rusaym truth-value assignment assumption E eksiksizlik completeness e³yapllk isomorphism G gerçeklemek götürüm to satisfy mapping trivial güzaf güzak triviality H hususi fonksiyon characteristic function  içerim implication içermek ifade to imply expression ise.

to contain kapsamak decidability karar verilebilirlik kaynak cümle kuram basis clause theory M mukabil analogue N n-inci n'li nth n-ary Ö ö§e element önermeler dizgesi sentential calculus. propositional calculus instance (of a schema) örnekleme örneklemek to instantiate S sa§lamlk sav soundness thesis sklk compactness sonlu a§aç sonuç nite tree consequence 3 .K kabul assumption calculus kalkülüs to include.

T tamdeyim taslak terim formula schema term tümevarm varsaym inductive hypothesis Ü üye member V varg result varsaym hypothesis Y y§n collection yineleme recursion yinelemeli recursive yinelemeyle yöntem recursively procedure yüklemler dizgesi predicate calculus 4 .