1. RINGKASAN LOGIKA, PERKULIAHAN ILMU ALAMIAH DASAR UNIVERSITAS CIPUTRA
INFERENSI DEDUKTIF LANGSUNG INFERENSI LANGSUNG OPOSISI
Invertend Inverse
All S is P A Some Not S is not P (L) I
All S is P A Some Not S is P (S) I
All S is not P E Some Not S is P (L) O
All S is not P E Some Not S is not P (S) O
Konvertend Konverse
All S is P A Some P is S I
All S is not P E All P is not S E
No S is P E No P is S E
Some S is P I Some P is S I
Obvertend Obverse
All S is P A No S is non-P E
No S is P E All S is non-P A
Some S is P I Some S is not non P O INFERENSI DEDUKTIF SILOGISME KATEGORIS
Some S is not P O Some S is non P I BENTUK 1 BENTUK 2
BARBARA (AAA) CAMESTRES (AEE)
Premise Kontrapositive CELARENT (EAE) CESARE (EAE)
All S is P A All No P is No S A DARII (AII) BAROKO (AOO)
No S is P E Some Non-P is not non S O FERIO (EIO) FESTINO (EIO)
Some S is no P O Some No P is S (not non-S) O
BENTUK 3 BENTUK 4
INFERENSI DEDUKSI SILOGISME HIPOTETIS DATISI (AII) CAMENES (AEE)
1. Modus Ponens (p → q; p; * q) DISAMIS (IAI) DIMARIS (IAI)
2. Modus Tollens (p → q; ~q; * ~p) FERISON (EIO) FRESISON (EIO)
3. Hypothetical Syllogism (p → q; q → r; * p → r) BOKARDO (OAO)
4. Disjunctive Syllogism (p v q; ~p; * q)
5. Constructive Dillemma (p → q ^ r → s; p v r; * q v s) Bentuk 1 = MP; SM; *SP
6. Absorption (p → q; * p → (p ^ q) Bentuk 2 = PM; SM; *SP
7. Simplification (p ^ q; * p) Bentuk 3 = MP; MS; *SP
8. Conjunction (p; q; * p ^ q) Bentuk 4 = PM; MS; *SP
9. Addition (p; * p v q)