Direct

Introducere

Metoda reducerii directe la moduri valide în general se realizează urmând următorii pași:

• Aplicăm conversiunea sau schimbarea rolului termenilor extremi pentru a verifica dacă premisele modului imperfect se deduc lo…

...

Exemplul 1

Dorim să verificăm validitatea modului silogistic aee-4. Începem prin a-i scrie schema de inferență:

            (+) PaM (-)

     …

...

Exemplul 2

Dorim să verificăm validitatea modului silogistic iai-3. Începem prin a-i scrie schema de inferență:

            (-) MiP (-)

            (+) MaS (-)     

            (-) SiP (-)

Pentru a verifica validitatea acestui mod silogistic este necesar să efectuăm un pas suplimentar față de exemplul 1. Observăm că, dacă am aplica conversiunea asupra premisei minore, am aduce termenul mediu în poziția corespun…