dear dad ...

dear Allah
i have a letter here from me to dad
and i want you to know it
might be a little sad
here it goes ..

dear dad
i wish that you were here to see your girls grow
in case you are wondering
mommy she's doing fine
and tell me story, about you dad all the time

so when im down and out, lonely or just feeling blue
all i do is think of you
the thoughts all erase my fears and drive my tears

im just writing to let you know
someone cares

daddy i love you . i love you
really really love you
daddy i miss you . i miss you
and i know my mother and sister do too
and i'm gone pray
to deliver you this letter

it will make me feel better

                                                                                                                        happy birthday, ayah :')

apa aja sih yang menyebabkan jerawat?

kamu tak ingin wajah jadi "meriah" akibat jerawat yang meradang di sana-sini kan? Ketahuilah bahwa ada hal-hal yang tanpa kita sadari bisa menyebabkan jerawat. Bukan hanya karena malas mencuci wajah saja, tetapi hal-hal di bawah ini bisa menyebabkan jerawat menjadi aksesori pada kulit wajah kamu.

*Hormon
Perhatikan waktu-waktu kedatangan dan kepergian si jerawat. Jika ia datang cukup teratur, yakni sekitar waktu-waktu menjelang siklus menstruasi kamu, berarti hal ini diakibatkan oleh siklus menstruasi kamu.

Metode Inferensi

Kelompok:

Luthfiana Azizah

Akbar Hidayat

Eko wahyu 

4 IA03

Pengantar Kecerdasan Buatan

METODE INFERENSI

A.  LOGIKA PREDIKAT URUTAN PERTAMA

(First Order Predicate Logic)

-      Representasi 4 kategori silogisme menggunakan logika predikat

Bentuk	Skema	Representasi Predikat
A	Semua S adalah P	("x) (S(x)àP(x))
E	Tidak S adalah P	("x) (S(x)à~P(x))
I	Beberapa S adalah P	($x) (S(x)àP(x))
O	Beberapa S bukan P	($x) (S(x)à~P(x))

-      Kaidah Universal Instatiation merupakan state dasar, dimana suatu individual dapat digantikan (disubsitusi) ke dalam sifat universal.

-      Contoh :

Misal, f merupakan fungsi proposisi :

                    ("x) f(x)

 \ f(a)

merupakan bentuk yang valid, dimana a menunjukkan spesifik individual, sedangkan x adalah suatu variabel yang berada dalam jangkauan semua individu (universal)

Contoh lain : ("x) H(x)

      \ H(Socrates)

    dimana H(x) : fungsi proposissional dg x adalah human

-      Berikut ini adalah contoh pembuktian formal silogisme:

All men are mortal

Socrates is a man

Therefore, Socrates is mortal

Misal : H = man,  M = mortal,  s = Socrates

Solusi:

1.   ("x) (H (x) à M(x))

2.   H(s)                                     

3.   \ M(s)

4.   H(s) à M(s)                         

5.   M(s)