Scribd
Upload
13 views5 pages

Materi Logika

Uploaded by

Mamat Rahmat
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
13 views5 pages

Materi Logika

Uploaded by

Mamat Rahmat
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 5

Materi Logika

Proposisi adalah pernyataan yang bernilai True (1) atau False (0)

Operator Logika

Operator not (~, ¬)


Operator not membalik nilai

A not A

True False

False True

Operator and (∧)


Hasil operasi “A and B” bernilai True saat keduanya bernilai True

A B A and B

True True True

True False False

False True False

False False False

Operator or (∨)
Hasil operasi “A or B” bernilai True saat ada dari dari keduanya bernilai True
A B A or B

True True True

True False True

False True True

False False False

Operator xor (⊕, ⊻)


Hasil operasi “A xor B” bernilai True saat salah satu bernilai True, lainnya False

A B A xor B

True True False

True False True

False True True

False False False

Operator if-then (→)


Hasil operasi “if A, then B” bernilai False saat A true dan B false

A B if A, then B

True True True

True False False

False True True

False False True

Operator iff (⟺)


Iff = if and only if

Hasil operasi “A iff B” bernilai True saat A dan B bernilai sama


A B A iff B

True True True

True False False

False True False

False False True

Hukum Logika

Idempotent Law
A or A = A
A and A = A

Identity Law
A or False = A
A and True = A

Domination Law
A and False = False
A or True = True

Complement Law
A and not(A) = False
A or not(A) = True

Double Negation Law


not(not(A)) = A

Commutative Law
A or B = B or A
A and B = B and A
Associative Law
(A or B) or C = A or (B or C)
(A and B) and C = A and (B and C)

Distributive Law
A and (B or C) = (A and B) or (A and C)
A or (B and C) = (A or B) and (A or C)

De Morgan’s Law
not(A and B) = not(A) or not(B)
not(A or B) = not(A) and not(B)

Absorption Law
A and (A or B) = A
A or (A and B) = A

Conditional Identities
if A, then B = not(A) or B
a iff B = (if A, then B) and (if B, then A)

Kaidah Inferensi

Modus Ponens
Premis 1 : if A, then B
Premis 2 : A
Kesimpulan : B

Modus Tollens
Premis 1 : if A, then B
Premis 2 : not(B)
Kesimpulan : not(A)
Hypothetical Syllogism
Premis 1 : if A, then B
Premis 2 : if B, then C
Kesimpulan : if A, then C

Disjunctive Syllogism
Premis 1 : A or B
Premis 2 : not(A)
Kesimpulan : B

Resolution
Premis 1 : A or B
Premis 2 : not A or C
Kesimpulan : B or C

You might also like

pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy