Format linear

Selain menggunakan diagram, penarikan kesimpulan dapat dituliskan dalam format terurut.

Diagram penarikan kesimpulan pada Contoh 02:

02a-logika-matematika-inferensia-media-image30-png

Tuliskan dalam format linear.

Jika dituliskan dalam format linear:

P1

e \Rightarrow b

P2

\neg  b

P3

\neg  e \Rightarrow m

K1

MT(P1, P2)

MT(e \Rightarrow b, \neg  b)

\neg  e

K2

MP(P3, K1)

MP(\neg  e \Rightarrow m, \neg  e)

m

Demikian juga versi diagram lainnya.

02a-logika-matematika-inferensia-media-image25-png

Dalam format linear:

P1

e \Rightarrow b

P2

\neg  b

P3

\neg  e \Rightarrow m

\neg  m \Rightarrow e (kontraposisi)
K1

SIL(P1, P3)

SIL(e \Rightarrow b, \neg  m \Rightarrow e)

\neg  m \Rightarrow b

K2

MT(P2, K1)

MT(\neg  b, \neg  m \Rightarrow b)

m

Diagram penarikan kesimpulan pada Contoh 03:

02a-logika-matematika-inferensia-media-image29-png

Jadikan dalam format linear.

Dalam format linear:

P1
∀x∈A: ∀y∈A: p(x, y) ⇒ ¬p(y, x)
P2
upin ∈ A
P3
ipin ∈ A
P4
p(upin, ipin)
K1
IU(P1, P2)
IU(∀x∈A: ∀y∈A: p(x, y) ⇒ ¬p(y, x), upin ∈ A)
∀y∈A: p(upin, y) ⇒ ¬p(y, upin)
K2
IU(K1, P3)
IU(∀y∈A: p(upin, y) ⇒ ¬p(y, upin), ipin ∈ A)
p(upin, ipin) ⇒ ¬p(ipin, upin)
K3
MP(K2, P4)
MP(p(upin, ipin) ⇒ ¬p(ipin, upin), p(upin, ipin))
¬p(ipin, upin)

Berikutnya: Latihan