You are on page 1of 12

Ardshir , Logic

. - www.pdphilosophy.ir

0-ary 1-ary 2-ary Abelean group Absolute Absolute value Abstract Additive commutative group Algebra of sets Algebraic Algebraic logic Algebrically closed Algorithm
Ls- 4: Ls- 0_,)

.1: T

6112-4

LAS

4-Cya...7,4

Ardshir , Logic
. -
..tf _.(K;1 www.pdphilosophy.ir

1' 0 1'

Analytic philosophy Antecedent Archimedean Argument Artificial intelligence Associativity Atomic Proposition Atomless Axiom Axiom of choice Axiomatisable Back and forth Bivalence Boolean algebra Bound Bound Calculus Canonical homomorphism Categorical Categoricity Chain Characteristic Characteristic zero Choice function Closed Commutative Compactness Comperhension Schema _ j1$ -;1
(i"

(541,6

z,L4T

boy

LAY (s_tc-S.r1 it u...;1;j 1;5(;; 1

3 cf-:,
-

k.x

LS ,-;?)rA
r vj

Lsjiri (L5 1-1 ) J-,1

Ardshir , Logic 1' or Lob . 450 -


www.pdphilosophy.ir
.

Complement Complete Completeness Completeness theorem Complex numbers Complexity Computability Computation Conclusion Concrete Congruence Conjunction Conjunctive Conjunctive normal form Connective Consistency Consistent Constant Construction sequence Constructive mathematics Context Continuity Continuum hypothesis Contradiction Countable Countable axiom of choice Counterexample Cut formula

j15

1.1t I

cr12-

'4'4;3 .1)/.1.1

I L ,?L;c:.;1 J.-01 u, J1:.

Ardshir , Logic
. -
c.

, ..,j 1; a 4...,4/ www.pdphilosophy.ir

Cut rule Cyclic Decidable Definable Definition by recursion Demonstration Dense Deontic logic Depth Derivation Derivative Diaphontine Disjunction Disjunctive normal form Distributivity Division Domain Downward Effectively enumerable Elementarily embeddable Elementary equivalent Elementary substructure Elimination Epistemic logic Epistemology Equality Equinvalent Equivalence class

cs.).53

J1-t,..115.; 612.1, C3--c

JL--)

L'Ajl LL--t 1"LJ.,kb- 1; u; 3.4...


1

,:s.i.,-

(sib;

Ardshir , Logic

YOO Equivalence relation Existence Existential Existential quantifier Expansion Expression Extension Extensional Extensionality Faithful False Falsum Field of sets Filter

0 .i t; a-
www.pdphilosophy.ir

Ls), le ;4.1)

(.5 3Y- 9 ),'

t""; Ls.; I t1 (511'1 "L' i i:3 hk i211 1 "-CY?'4 csiL-

Finite intersection property Finitely axiomatisable Finiteness Formal logic Formula Foundation Foundationalist Free Full Function Function variables Functionally complete Fuzzy logic Generalization

Ls),-0 (3.12-1-4
J,A)

31)1

J- 15 .: 1; _cb 4: cs.)Li

Ardshir , Logic
. - www.pdphilosophy.ir

OP 3L
JAI.?

Grammer Group Henkin theory Higher order Homomorphism Ideal Identity Implication Incompleteness Inconsistent Independence Individual variables Induced Induction Principle Infinite Infinitesiinal Infinity Initial segment Intension Intensional Interpretation Intersection Introduction Intuitionistic logic Isomorphic Isomorphically embeddable Isomorphism Joint embedding p: ''perty

LaL
J

&.LL; .,I I

-1 Lca,

of

y5 c?4;(5 I

r-,+"

S1 .', 1

Lsk*,'A 4.; 1!15),f-1 CtkzZJ-In.:-; J.,"!

Ardshir , Logic Y AY
. - www.pdphilosophy.ir

Lefschetz's principle Leibniz principle Limit Linear logic Linearly ordered Logical Connective Logical consequence Logical rules Logicism Mathematical object Maximal ideal theorem Maximally consistent Meaning Metalanguage Metaphysics Modal logic Model Model cmplete

J-1 (J-. 1

(512.>
;1"-

..t.G ji

ue. .55" 1 I
.S.- AL

ott-611431- - -5, 3-z;L-

Model constructed by constants Modus ponens Multiset Multivalued logic Natural deduction Natural language Natural model Necessity Negation Non-classical logic

(.1.11=....I .

_ ca.

t...k)

":"5"

Ls 11) 1-Lt- L-)" ;.)(1) 1.3) -

Ardshir , Logic
. - www.pdphilosophy.ir

YOA

Non-logical Non-standard Non-standard model Non-trivial Object One to one Onto Open Ordered field Overspill Pairing Partial order Partially ordered set Peano arithmetic Peirce's Law Philosophical logic Philosophy of logic Positive Positive diagram Possibility Possible world Power set Predicate Prefix normal form Premise Prime Prime model Prime number a J-1-4 j_;1
3.1.0 3i

I _z

Lwy
L J

Ls.;

',-Jt",:);1-1;

z, LC,. I ZJL4r--

J1-)

Ardshir , Logic
1'6'1 Principal Principle of Excluded Middle Proof Proper Proper name Property Proposition Propositional Symbol Pure Quantification theory Quantifier elimination Quotient algebra modulo F Range Rank Rational Real analysis Reals Recursion theory Reduct Reducto ad absurdum Reflexive Regularity Relation Relation variable Replacement Resource Ring Rule Li csI 412-:b 412-: ) 1 _ z,LA.); t JS L514 3L.; jay., 6 1-4,J1
. - www.pdphilosophy.ir

01,1

el
(pi.;

;'?"..)=L;
F ;L;Lt`t:

I
c--4 1 :C)=1;

Ardshir , Logic
. - www.pdphilosophy.ir

Russell's paradox Satisfiable Saturated Semantically closed Semantics Sentence Separation Sequent calculus Side formula Skolem's paradox Sound Soundness theorem Standard model State of affair Strong completeness Strong soundness Structural Structure Subalgebra Subformula Subformula property Subject matter Subspace Substitution Substructure Succedent Successor Symmetry

J. I tiL

Ls-

tp; 0 .) .5) 1x1;-,1


Jy.

JJA).,?)

La rd

()I; ,a,Lt

Ardshir , Logic
i . /"1 ,4 - L ...ALL:

www.pdphilosophy.ir

Syntax Tansitive Tautology Temporal logic Trtium non datur Theoretical computer science Theoretical reasoning Theory Torsion free Transcendence degree Tree True Truth Truth function Truth functional Truth in model Truth table Truth value Turing machine Two-valued Type Ultrafilter Undefinability of truth Unique Universal Universal Universal algebra Universal closure (.5;Le (;)) 1 _ (.3m L., _ LhIzz ..1-:,Li

_et;

_4L-J1 bL..)

j_01

'7' 1; 33.1: u-R.;

(.5-1)_) 1 t: 1-;

I LAjil
(.54)) 1.9 3

Ardshir , Logic
. -
(5---)

www.pdphilosophy.ir 4,

Ls--

ryr

Universal quantifier Upward Vague Variant Well-defined Well-ordered Witness Zermelo-Frankel Set theory Zorn's lemma Li-Cs;J); JAL:, L JI

You might also like