1) MODUS PONENS a) 1. A-->B 2. A   ⱵB b) 1. A--->B 2. ┐ B   Ⱶ ┐ A c) 1. A V B 2. ┐ B Ⱶ A d) ┐ (A ʌ B) Ⱶ ┐A V ┐B 2) MODUS TOLLENS a) 1. A ʌ B Ⱶ B   b) 1. A-->B 2. A   ⱵB c) ┐ (A ʌ B) Ⱶ ┐A V ┐B d) 1. A--->B 2. ┐ B   Ⱶ ┐ A 3) SILOGISMO DISYUNTIVO a) ┐ (A ʌ B) Ⱶ ┐A V ┐B b) 1. A V B 2. ┐ B Ⱶ A c) 1. A--->B 2. ┐ B   Ⱶ ┐ A d) 1. A-->B 2. A   ⱵB 4) ELIMINACIÓN DE LA CONJUNCIÓN a) 1. A-->B 2. A  ⱵB b) 1. A V B 2. ┐ B Ⱶ A c) 1. A--->B 2. ┐ B   Ⱶ ┐ A d) 1. A ʌ B Ⱶ B   5) DE MORGAN I a) 1. A V B 2. ┐ B Ⱶ A b) 1. A-->B 2. A  ⱵB c) 1. A ʌ B Ⱶ B   d) ┐ (A ʌ B) Ⱶ ┐A V ┐B

REGLAS DE INFERENCIA

by
Print
Embed

Leaderboard

Visual style

Options

Switch template

Continue editing: ?