ruggero pagnan - calcolare i sillogismi
DESCRIPTION
Ruggero Pagnan - Calcolare i sillogismiTRANSCRIPT
![Page 2: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/2.jpg)
Proposizioni categoriche
A partire da Aristotele, le seguenti proposizioni categoriche hannogiocato un ruolo fondamentale nell’ambito della ricerca in logica:
ASP : Ogni S e P (universale affermativa)
ESP : Nessun S e P (universale negativa)
ISP : Qualche S e P (particolare affermativa)
OSP : Qualche S non e P (particolare negativa)
Le lettere S e P denotano termini del linguaggio naturale, etradizionalmente vengono chiamate soggetto e predicato.
![Page 3: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/3.jpg)
Sillogismi
Un sillogismo e una regola di inferenza che coinvolge due premessee una conclusione:
P1,P2 |= C
dove P1, P2 e C sono proposizioni categoriche.
I Piu precisamente, un sillogismo coinvolge esattamente tretermini S , P e M come segue:
- M occorre in P1 e in P2 ma non occorre in C . Esso e iltermine medio del sillogismo.
- S occorre in P2 e in C , come soggetto di quest’ultima.- P occorre in P1 e in C , come predicato di quest’ultima.
I Esempio:OPM ,EMS |= ISP
![Page 4: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/4.jpg)
Sillogismi
Un sillogismo e una regola di inferenza che coinvolge due premessee una conclusione:
P1,P2 |= C
dove P1, P2 e C sono proposizioni categoriche.I Piu precisamente, un sillogismo coinvolge esattamente tre
termini S , P e M come segue:
- M occorre in P1 e in P2 ma non occorre in C . Esso e iltermine medio del sillogismo.
- S occorre in P2 e in C , come soggetto di quest’ultima.- P occorre in P1 e in C , come predicato di quest’ultima.
I Esempio:OPM ,EMS |= ISP
![Page 5: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/5.jpg)
Sillogismi
Un sillogismo e una regola di inferenza che coinvolge due premessee una conclusione:
P1,P2 |= C
dove P1, P2 e C sono proposizioni categoriche.I Piu precisamente, un sillogismo coinvolge esattamente tre
termini S , P e M come segue:
- M occorre in P1 e in P2 ma non occorre in C . Esso e iltermine medio del sillogismo.
- S occorre in P2 e in C , come soggetto di quest’ultima.- P occorre in P1 e in C , come predicato di quest’ultima.
I Esempio:OPM ,EMS |= ISP
![Page 6: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/6.jpg)
Sillogismi validi
Un sillogismo valido e un sillogismo per il quale non e possibileverificare le sue premesse e non verificare la sua conclusione.
I sillogismi elencati nella tabella
AMP ,ASM |= ASP EPM ,ASM |= ESP IMP ,AMS |= ISP APM ,EMS |= ESP
EMP ,ASM |= ESP APM ,ESM |= ESP AMP , IMS |= ISP IPM ,AMS |= ISP
AMP , ISM |= ISP EPM , ISM |= OSP OMP ,AMS |= OSP EPM , IMS |= OSP
EMP , ISM |= OSP APM ,OSM |= OSP EMP , IMS |= OSP
sono validi.I logici medievali hanno dato loro dei nomi come ad esempiobArbArA, fErIO, cElArEnt, dIsAmIs, al fine di poterli ricordare.
![Page 7: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/7.jpg)
Sillogismi validi
Un sillogismo valido e un sillogismo per il quale non e possibileverificare le sue premesse e non verificare la sua conclusione.I sillogismi elencati nella tabella
AMP ,ASM |= ASP EPM ,ASM |= ESP IMP ,AMS |= ISP APM ,EMS |= ESP
EMP ,ASM |= ESP APM ,ESM |= ESP AMP , IMS |= ISP IPM ,AMS |= ISP
AMP , ISM |= ISP EPM , ISM |= OSP OMP ,AMS |= OSP EPM , IMS |= OSP
EMP , ISM |= OSP APM ,OSM |= OSP EMP , IMS |= OSP
sono validi.I logici medievali hanno dato loro dei nomi come ad esempiobArbArA, fErIO, cElArEnt, dIsAmIs, al fine di poterli ricordare.
![Page 8: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/8.jpg)
Il calcolo
Introduciamo un formalismo grafico che consente di riformulare leproposizioni categoriche come diagrammi aristotelici:
SASP // P S
ESP// • Poo
SISP•oo // P S
OSP•oo // • Poo
![Page 9: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/9.jpg)
Esempio
AMP ,ASM |= ASP
SASM // M M
AMP // P
SASM // M
AMP // P
SASP // P
![Page 10: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/10.jpg)
Esempio
AMP ,ASM |= ASP
SASM // M M
AMP // P
SASM // M
AMP // P
SASP // P
![Page 11: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/11.jpg)
Esempio
AMP ,ASM |= ASP
SASM // M M
AMP // P
SASM // M
AMP // P
SASP // P
![Page 12: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/12.jpg)
Esempio
AMP ,ASM |= ASP
SASM // M M
AMP // P
SASM // M
AMP // P
SASP // P
![Page 13: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/13.jpg)
Esempio
EPM , ISM |= OSP
SISM• //oo M M
EPM// • Poo
SISM•oo // M
EPM// • Poo
S •oo OSP // • Poo
![Page 14: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/14.jpg)
Esempio
EPM , ISM |= OSP
SISM• //oo M M
EPM// • Poo
SISM•oo // M
EPM// • Poo
S •oo OSP // • Poo
![Page 15: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/15.jpg)
Esempio
EPM , ISM |= OSP
SISM• //oo M M
EPM// • Poo
SISM•oo // M
EPM// • Poo
S •oo OSP // • Poo
![Page 16: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/16.jpg)
Esempio
EPM , ISM |= OSP
SISM• //oo M M
EPM// • Poo
SISM•oo // M
EPM// • Poo
S •oo OSP // • Poo
![Page 17: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/17.jpg)
Esempio
APM ,OSM |= OSP
S •oo OSM // • Moo M PAPMoo
S •oo OSM // • Moo PAPMoo
SOSP•oo // • Poo
![Page 18: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/18.jpg)
Esempio
APM ,OSM |= OSP
S •oo OSM // • Moo M PAPMoo
S •oo OSM // • Moo PAPMoo
SOSP•oo // • Poo
![Page 19: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/19.jpg)
Esempio
APM ,OSM |= OSP
S •oo OSM // • Moo M PAPMoo
S •oo OSM // • Moo PAPMoo
SOSP•oo // • Poo
![Page 20: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/20.jpg)
Esempio
APM ,OSM |= OSP
S •oo OSM // • Moo M PAPMoo
S •oo OSM // • Moo PAPMoo
SOSP•oo // • Poo
![Page 21: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/21.jpg)
Esempio
AMP ,AMS |= ISP
S MAMSoo M
AMP // P
S MIMMAMSoo •oo // M
AMP // P
SISP•oo // P
![Page 22: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/22.jpg)
Esempio
AMP ,AMS |= ISP
S MAMSoo M
AMP // P
S MIMMAMSoo •oo // M
AMP // P
SISP•oo // P
![Page 23: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/23.jpg)
Esempio
AMP ,AMS |= ISP
S MAMSoo M
AMP // P
S MIMMAMSoo •oo // M
AMP // P
SISP•oo // P
![Page 24: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/24.jpg)
Esempio
AMP ,AMS |= ISP
S MAMSoo M
AMP // P
S MIMMAMSoo •oo // M
AMP // P
SISP•oo // P
![Page 25: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/25.jpg)
Nel Paese delle Meraviglie. . .
Ogni amico del cappellaio matto disobbedisce agli ordini della regina.
Nessun animale parlante disobbedisce agli ordini della regina.
Dunque, nessun animale parlante e amico del cappellaio matto.
S=“animale parlante”M=“disobbedisce agli ordini della regina”
P=“amico del cappellaio matto”
SESM// • Moo M P
APMoo
SESM// • Moo P
APMoo
SESP// • Poo
![Page 26: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/26.jpg)
Nel Paese delle Meraviglie. . .
Ogni amico del cappellaio matto disobbedisce agli ordini della regina.
Nessun animale parlante disobbedisce agli ordini della regina.
Dunque, nessun animale parlante e amico del cappellaio matto.
S=“animale parlante”M=“disobbedisce agli ordini della regina”
P=“amico del cappellaio matto”
SESM// • Moo M P
APMoo
SESM// • Moo P
APMoo
SESP// • Poo
![Page 27: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/27.jpg)
Nel Paese delle Meraviglie. . .
Ogni amico del cappellaio matto disobbedisce agli ordini della regina.
Nessun animale parlante disobbedisce agli ordini della regina.
Dunque, nessun animale parlante e amico del cappellaio matto.
S=“animale parlante”M=“disobbedisce agli ordini della regina”
P=“amico del cappellaio matto”
SESM// • Moo M P
APMoo
SESM// • Moo P
APMoo
SESP// • Poo
![Page 28: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/28.jpg)
Nel Paese delle Meraviglie. . .
Ogni amico del cappellaio matto disobbedisce agli ordini della regina.
Nessun animale parlante disobbedisce agli ordini della regina.
Dunque, nessun animale parlante e amico del cappellaio matto.
S=“animale parlante”M=“disobbedisce agli ordini della regina”
P=“amico del cappellaio matto”
SESM// • Moo M P
APMoo
SESM// • Moo P
APMoo
SESP// • Poo
![Page 29: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/29.jpg)
Nel Paese delle Meraviglie. . .
Ogni amico del cappellaio matto disobbedisce agli ordini della regina.
Nessun animale parlante disobbedisce agli ordini della regina.
Dunque, nessun animale parlante e amico del cappellaio matto.
S=“animale parlante”M=“disobbedisce agli ordini della regina”
P=“amico del cappellaio matto”
SESM// • Moo M P
APMoo
SESM// • Moo P
APMoo
SESP// • Poo
![Page 30: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/30.jpg)
Nel Paese delle Meraviglie. . .
Ogni suddito della regina e abituato alla vita di corte.
Qualche amico del Bianconiglio non e abituato alla vita di corte.
Dunque, qualche amico del Bianconiglio non e suddito della regina.
S=“amico del Bianconiglio”M=“abituato alla vita di corte”
P=“suddito della regina”
SOSM• //oo • Moo M P
APMoo
SOSM• //oo • Moo P
APMoo
SOSP•oo // • Poo
![Page 31: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/31.jpg)
Nel Paese delle Meraviglie. . .
Ogni suddito della regina e abituato alla vita di corte.
Qualche amico del Bianconiglio non e abituato alla vita di corte.
Dunque, qualche amico del Bianconiglio non e suddito della regina.
S=“amico del Bianconiglio”M=“abituato alla vita di corte”
P=“suddito della regina”
SOSM• //oo • Moo M P
APMoo
SOSM• //oo • Moo P
APMoo
SOSP•oo // • Poo
![Page 32: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/32.jpg)
Nel Paese delle Meraviglie. . .
Ogni suddito della regina e abituato alla vita di corte.
Qualche amico del Bianconiglio non e abituato alla vita di corte.
Dunque, qualche amico del Bianconiglio non e suddito della regina.
S=“amico del Bianconiglio”M=“abituato alla vita di corte”
P=“suddito della regina”
SOSM• //oo • Moo M P
APMoo
SOSM• //oo • Moo P
APMoo
SOSP•oo // • Poo
![Page 33: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/33.jpg)
Nel Paese delle Meraviglie. . .
Ogni suddito della regina e abituato alla vita di corte.
Qualche amico del Bianconiglio non e abituato alla vita di corte.
Dunque, qualche amico del Bianconiglio non e suddito della regina.
S=“amico del Bianconiglio”M=“abituato alla vita di corte”
P=“suddito della regina”
SOSM• //oo • Moo M P
APMoo
SOSM• //oo • Moo P
APMoo
SOSP•oo // • Poo
![Page 34: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/34.jpg)
Nel Paese delle Meraviglie. . .
Ogni suddito della regina e abituato alla vita di corte.
Qualche amico del Bianconiglio non e abituato alla vita di corte.
Dunque, qualche amico del Bianconiglio non e suddito della regina.
S=“amico del Bianconiglio”M=“abituato alla vita di corte”
P=“suddito della regina”
SOSM• //oo • Moo M P
APMoo
SOSM• //oo • Moo P
APMoo
SOSP•oo // • Poo
![Page 35: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/35.jpg)
Un esercizio
Determinare premesse che consentano di concludere
SESM// • Moo M P
APMoo
SESM// • Moo P
APMoo
SESP// • Poo
![Page 36: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/36.jpg)
Un esercizio
Determinare premesse che consentano di concludere
SESM// • Moo M P
APMoo
SESM// • Moo P
APMoo
SESP// • Poo
![Page 37: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/37.jpg)
Un esercizio
Determinare premesse che consentano di concludere
SESM// • Moo M P
APMoo
SESM// • Moo P
APMoo
SESP// • Poo
![Page 38: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/38.jpg)
Sillogismi validi
TeoremaUn sillogismo e valido se e solo se la sua conclusione segue dallesue premesse come risultato di un calcolo.
Osservazione: il calcolo e il teorema si estendono ai sillogismi conn termini, n ≥ 1.
![Page 39: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/39.jpg)
Sillogismi validi
TeoremaUn sillogismo e valido se e solo se la sua conclusione segue dallesue premesse come risultato di un calcolo.
Osservazione: il calcolo e il teorema si estendono ai sillogismi conn termini, n ≥ 1.
![Page 40: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/40.jpg)
Sillogismi non validi
Il sillogismo OPM ,EMS |= ISP non e valido, dato che il calcolo
SEMS// • Moo M
OPM•oo // • Poo
SEMS// • M
OPMoo •oo // • Poo
S // • •oo // • Poo
non produce il risultato voluto.Il sillogismo EMP ,ESM |= ISP non e valido dato che le suepremesse non danno origine ad alcun calcolo.
SESM// • Moo M
EMP// • Poo
![Page 41: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/41.jpg)
Regole del sillogismo
I Da due premesse negative nulla puo venire inferito.
I Da due premesse particolari nulla puo venire inferito.
I Da una prima premessa particolare e da una seconda premessanegativa nulla puo venire inferito.
I In un sillogismo, se una premessa e particolare allora laconclusione e particolare.
I La conclusione di un sillogismo e negativa se e solo se talerisulta essere una delle sue premesse.
![Page 42: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/42.jpg)
Regole del sillogismo
Da due premesse negative nulla puo venire inferito.
SESM// • Moo M
EMP// • Poo
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
EMP// • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo
![Page 43: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/43.jpg)
Regole del sillogismo
Da due premesse negative nulla puo venire inferito.
SESM// • Moo M
EMP// • Poo
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
EMP// • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo
![Page 44: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/44.jpg)
Regole del sillogismo
Da due premesse negative nulla puo venire inferito.
SESM// • Moo M
EMP// • Poo
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
EMP// • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo
![Page 45: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/45.jpg)
Regole del sillogismo
Da due premesse negative nulla puo venire inferito.
SESM// • Moo M
EMP// • Poo
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
EMP// • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo
![Page 46: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/46.jpg)
Regole del sillogismo
Da due premesse negative nulla puo venire inferito.
SESM// • Moo M
EMP// • Poo
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
EMP// • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo
![Page 47: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/47.jpg)
Regole del sillogismoDa una prima premessa particolare e da una seconda premessanegativa nulla puo venire inferito.
SESM// • Moo M
IMP•oo // P
SOSM• //oo • Moo M
IMP•oo // P
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo
![Page 48: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/48.jpg)
Regole del sillogismoDa una prima premessa particolare e da una seconda premessanegativa nulla puo venire inferito.
SESM// • Moo M
IMP•oo // P
SOSM• //oo • Moo M
IMP•oo // P
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo
![Page 49: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/49.jpg)
Regole del sillogismoDa una prima premessa particolare e da una seconda premessanegativa nulla puo venire inferito.
SESM// • Moo M
IMP•oo // P
SOSM• //oo • Moo M
IMP•oo // P
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo
![Page 50: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/50.jpg)
Regole del sillogismoDa una prima premessa particolare e da una seconda premessanegativa nulla puo venire inferito.
SESM// • Moo M
IMP•oo // P
SOSM• //oo • Moo M
IMP•oo // P
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo
![Page 51: Ruggero Pagnan - Calcolare i sillogismi](https://reader034.vdocuments.pub/reader034/viewer/2022052123/557212a6497959fc0b90a9bc/html5/thumbnails/51.jpg)
Regole del sillogismoDa una prima premessa particolare e da una seconda premessanegativa nulla puo venire inferito.
SESM// • Moo M
IMP•oo // P
SOSM• //oo • Moo M
IMP•oo // P
SESM// • Moo M
OMP• //oo • Poo
SOSM• //oo • Moo M
OMP• //oo • Poo