MATEMATIKA I

-Logika Matematika-

a. Value,Variabel,and Type

value adalah sebuah nilai yang tidak dapat diubah

variebel  adalah tempat atau wadah untuk menyimpan value

type adalah kumpulan nilai yang diperbolehkan nilai – nilai yang diperbolehkan untuk mengisi variabel  contohnya  : string,char,integer,dan float

b. Preposition and Predikat

preposition adalah kalimat deklaratif yang nilainya true or false

predicate adalah sesuatu yang mempunyai bentuk berupa kalimat deklaratif

note:true or false tidak dapat diketahui apabila variabel tidak diketahui

c. Logical Connectives

1.conjungtion (and)

2.disjungtion (or)

3.negation (not)

4.implication

5.equivalent

d. Symbol :

¬ not (negation) ==  not (...)

ᴧ and (conjungtion) == (…)and(…)

ᴠ or(disjungtion) == (…)or(…)

→implies == (…)implies(…)

↔ equivalent == is equivalent to equivalence (…)is the equivallent to (…)

TABLE OF CONJUNGTION:                                                                 TABLE OF DISJUNGTION:

P	Q	PᴧQ
T	T	T
T	F	F
F	T	F
F	F	F

         

P	Q	PᴠQ
T	T	F
T	F	T
F	T	T
F	F	T

TABLE OF IMPLICATION:                                                                        TABLE OF EQUIVALENT:

P	Q	P↔Q
T	T	T
T	F	F
F	T	F
F	F	T

P	Q	P→Q
T	T	T
T	F	F
F	T	T
F	F	T