----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,

Classifica

Stile di visualizzazione

Opzioni

Cambia modello

Ripristinare il titolo salvato automaticamente: ?