----1. A-->B ----2. A  ⱵB - MODUS PONENS, ---1. A--->B ----2. ┐ B   Ⱶ ┐ A - MODUS TOLLENS, ---1. A V B ----2. ┐ B Ⱶ A - SILOGISMO DISYUNTIVO, ----1. A ʌ B Ⱶ B   - ELIMINACIÓN DE LA CONJUNCIÓN, ┐ (A ʌ B) Ⱶ ┐A V ┐B - DE MORGAN I,

REGLAS DE INFERENCIA

από
Ενσωμάτωση

Κατάταξη

Οπτικό στυλ

Επιλογές

Αλλαγή προτύπου

Επαναφορά αυτόματα αποθηκευμένου: ;