Minggu, 04 Oktober 2009

Tugas PDM 3

  1. Modus Ponens

p→ q

p

q

p

^

q

p

T

T

T

T

T

T

T

F

T

T

F

F

F

T

T

T

F

F

T

T

F

F

T

F

F

F

T

F

1

4

1

3

1

2

1

Tautologi, jadi argumen sah


  1. Modus Toilens (MT)

p

q

T

T

F

F

T

F

T

F

F

F

T

T

F

T

F

T

T

F

T

T

F

F

F

T

T

T

T

T






p

=>

q

q

=>

r

=>

p

=>

r

T

T

T

T

F

F

F

F

T

T

F

F

T

T

T

T

T

T

F

F

T

T

F

F

T

F

F

F

T

F

T

T

T

T

F

F

T

T

F

F

T

F

T

T

T

F

T

T

T

F

T

F

T

F

T

F

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

F

T

F

T

T

T

T

T

F

T

F

T

F

T

F

1

2

1

4

1

3

1

6

1

5

1

Tautologi sah


  1. Distruksi Silogisma (DS)

p

q

T

T

F

F

T

F

T

F

F

F

T

T

T

T

T

F

F

F

T

F

T

T

T

T


  1. Konstruksi Delema (KD)

p

=>

q

r

=>

s

p

r

=>

q

s

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

T

T

T

F

F

F

F

T

F

T

T

F

F

F

F

T

F

T

T

T

F

T

T

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

T

F

F

F

F

T

F

F

F

T

F

F

F

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

T

T

T

T

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

F

T

F

T

T

T

T

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

1

2

1

4

1

3

1

6

1

5

1

8

1

7

1

Tautologi sah

  1. Distruksi Delema (DD)

p

=>

q

r

=>

s

=>

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

T

T

T

F

F

F

F

T

F

T

T

F

F

F

F

T

F

T

T

T

F

T

T

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

F

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

T

T

T

T

F

F

T

T

F

F

T

T

T

T

F

F

T

T

F

F

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

1

2

1

4

1

3

1

6

1

5

1

Kontingensi => Tidak Sah


  1. Modus Ponens

p

  1. Modus Ponens

p→ q

p

q

p

^

q

p

T

T

T

T

T

T

T

F

T

T

F

F

F

T

T

T

F

F

T

T

F

F

T

F

F

F

T

F

1

4

1

3

1

2

1

Tautologi, jadi argumen sah


  1. Modus Toilens (MT)

p

q






T

T

F

F

T

F

T

F

F

F

T

T

F

T

F

T

T

F

T

T

F

F

F

T

T

T

T

T







p

=>

q


q

=>

r

=>

p

=>

r

T

T

T

T

F

F

F

F

T

T

F

F

T

T

T

T

T

T

F

F

T

T

F

F

T

F

F

F

T

F

T

T

T

T

F

F

T

T

F

F

T

F

T

T

T

F

T

T

T

F

T

F

T

F

T

F

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

F

T

F

T

T

T

T

T

F

T

F

T

F

T

F

1

2

1

4

1

3

1

6

1

5

1

Tautologi sah


  1. Distruksi Silogisma (DS)

p

q





T

T

F

F

T

F

T

F

F

F

T

T

T

T

T

F

F

F

T

F

T

T

T

T


  1. Konstruksi Delema (KD)

p

=>

q


r

=>

s


p


r

=>

q


s

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

T

T

T

F

F

F

F

T

F

T

T

F

F

F

F

T

F

T

T

T

F

T

T

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

T

F

F

F

F

T

F

F

F

T

F

F

F

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

T

T

T

T

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

F

T

F

T

T

T

T

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

1

2

1

4

1

3

1

6

1

5

1

8

1

7

1

Tautologi sah

  1. Distruksi Delema (DD)

p

=>

q


r

=>

s

=>




T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

T

T

T

F

F

F

F

T

F

T

T

F

F

F

F

T

F

T

T

T

F

T

T

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

F

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

T

T

T

T

F

F

T

T

F

F

T

T

T

T

F

F

T

T

F

F

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

1

2

1

4

1

3

1

6

1

5

1

Kontingensi => Tidak Sah

q

p

q

p

^

q

p

T

T

T

T

T

T

T

F

T

T

F

F

F

T

T

T

F

F

T

T

F

F

T

F

F

F

T

F

1

4

1

3

1

2

1

Tautologi, jadi argumen sah


  1. Modus Toilens (MT)

p

q

T

T

F

F

T

F

T

F

F

F

T

T

F

T

F

T

T

F

T

T

F

F

F

T

T

T

T

T






p

=>

q

q

=>

r

=>

p

=>

r

T

T

T

T

F

F

F

F

T

T

F

F

T

T

T

T

T

T

F

F

T

T

F

F

T

F

F

F

T

F

T

T

T

T

F

F

T

T

F

F

T

F

T

T

T

F

T

T

T

F

T

F

T

F

T

F

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

F

T

F

T

T

T

T

T

F

T

F

T

F

T

F

1

2

1

4

1

3

1

6

1

5

1

Tautologi sah


  1. Distruksi Silogisma (DS)

p

q

T

T

F

F

T

F

T

F

F

F

T

T

T

T

T

F

F

F

T

F

T

T

T

T


  1. Konstruksi Delema (KD)

p

=>

q

r

=>

s

p

r

=>

q

s

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

T

T

T

F

F

F

F

T

F

T

T

F

F

F

F

T

F

T

T

T

F

T

T

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

T

F

F

F

F

T

F

F

F

T

F

F

F

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

T

T

T

T

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

F

T

F

T

T

T

T

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

1

2

1

4

1

3

1

6

1

5

1

8

1

7

1

Tautologi sah

  1. Distruksi Delema (DD)

p

=>

q

r

=>

s

=>

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

F

F

F

F

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

T

T

T

T

F

F

F

F

T

F

T

T

F

F

F

F

T

F

T

T

T

F

T

T

T

T

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

T

T

F

T

F

T

F

T

F

T

F

T

F

T

F

T

F

F

T

T

T

T

T

T

T

T

T

T

T

T

T

T

T

F

F

F

F

F

F

F

F

T

T

T

T

T

T

T

T

F

F

T

T

F

F

T

T

T

T

F

F

T

T

F

F

F

F

T

T

F

F

T

T

F

F

T

T

F

F

T

T

1

2

1

4

1

3

1

6

1

5

1

Kontingensi => Tidak Sah


Cari Blog Ini