Nothing Special   »   [go: up one dir, main page]

Rules in Syllogism

Download as docx, pdf, or txt
Download as docx, pdf, or txt
You are on page 1of 5

Barbara (AAA-1) [edit]

   All men are mortal. (MaP)


   All Greeks are men. (SaM)
∴ All Greeks are mortal. (SaP)
Celarent (EAE-1) [edit]
Similar: Cesare (EAE-2)

   No reptiles have fur. (MeP)


   All snakes are reptiles. (SaM)
∴ No snakes have fur. (SeP)
Darii (AII-1) [edit]
Similar: Datisi (AII-3)

   All rabbits have fur. (MaP)


   Some pets are rabbits. (SiM)
∴ Some pets have fur. (SiP)
Ferio (EIO-1) [edit]
Similar: Festino (EIO-2), Ferison (EIO-3), Fresison (EIO-4)

   No homework is fun. (MeP)


   Some reading is homework. (SiM)
∴ Some reading is not fun. (SoP)
Baroco (AOO-2) [edit]
   All informative things are useful. (PaM)
   Some websites are not useful. (SoM)
∴ Some websites are not informative. (SoP)
Bocardo (OAO-3) [edit]
   Some cats have no tails. (MoP)
   All cats are mammals. (MaS)
∴ Some mammals have no tails. (SoP)
Barbari (AAI-1) [edit]
   All men are mortal. (MaP)
   All Greeks are men. (SaM)
∴ Some Greeks are mortal. (SiP)
Celaront (EAO-1) [edit]
Similar: Cesaro (EAO-2)

   No reptiles have fur. (MeP)


   All snakes are reptiles. (SaM)
∴ Some snakes have no fur. (SoP)
Camestros (AEO-2) [edit]
Similar: Calemos (AEO-4)

   All horses have hooves. (PaM)


   No humans have hooves. (SeM)
∴ Some humans are not horses. (SoP)
Felapton (EAO-3) [edit]
Similar: Fesapo (EAO-4)

   No flowers are animals. (MeP)


   All flowers are plants. (MaS)
∴ Some plants are not animals. (SoP)

Darapti (AAI-3) [edit]
   All squares are rectangles. (MaP)
   All squares are rhombs. (MaS)
∴ Some rhombs are rectangles. (SiP)

Rules

Barbara

All S are P,

And all S are M,

Thus, All S are P.

Celarent

No M is P,

And all S are M;

Thus no S are P.
Cesare

No P is M,

And all S are M;

Thus no S is P.

Camestres

All P are M,

And no S is M;

Thus no S is P.

Calemes

All P are M,

And no M is S;

Thus no S is P.

Darii

All M are P,

And some S are M;

Thus some S are P.

Datisi

All M are p,

And some M are S;

Thus some S are P.

Disamis

Some M are P,

And all M are S;

Thus some S are P.

Dimatis

Some P are M,

And all M are S;

Thus some S are P.

Ferio

No M is P,

And some S are M;

Thus some S are not P.


Festino

No P is M,

And some S are M;

Thus some S are not P.

Ferison

No M is P,

And some M are S,

Thus some S are not P.

Fresison

No P is M,

And some M are S;

Thus some S are not P.

Baroco

All P are M,

And some S are not M;

Thus some S are not P.

Bocardo

Some M are not P,

And all M are S;

Thus some S are not P.

Barbari

All M are P,

And all S are M,

And some S exist;

Thus some S are P.

Celaront

No M is P,

And all S are M,

And some S exist;

Thus some S are not P.

Cesaro

No P is M,
And all S are M,

And some S exist;

Thus some S are not P.

Camestros

All P are M,

And no S is M,

And some S exist;

Thus some S are not P.

Calemos

All P are M,

And no M is S,

And some S exist;

Thus some S are not P.

Felapton

No M is P,

And all M are S,

And some M exist;

Thus some S are not P.

Fesapo

No P is M,

And all M are S,

And some M exist;

Thus some S are not P.

Darapti

All M are P,

And all M are S,

And some M exist;

Thus some S are P.

Bamalip

All P are M,

And all M are S,

And some P exist; thus some S are P.

You might also like