Deductive Logic

by St. George William Joseph Stock

Festino. Ferio.
No A is B. \ / No B is A.
Some C is B. | = | Some C is B.
.'. Some C is not A./ \ .'. Some C is not A.
[Baroko]

§ 682. FIGURE III.

Darapti. \ / Darii.
All B is A. \ = / All B is A.
All B is C. / \ Some C is B.
.'. Some C is A. / \ Some C is A.

Disamis. \ / Darii.
Some B is A. \ = / All B is C.
All B is C. / \ Some A is B.
.'. Some C is A. / \ .'. Some A is C.
.'. Some C is A.

Datisi. \ / Darii.
All B is A. \ = / All B is A.
Some B is C. / \ Some C is B.
.'. Some C is A. / \ .'. Some C is A.

Felapton. \ / Ferio.
No B is A. \ = / No B is A.
All B is C. / \ Some C is B.
.'. Some C is not-A. / \ .'. Some C is not-A.

[Bokardo].

Ferison. \ / Ferio.
No B is A. \ = / No B is A.
Some B is C. / \ Some C is B
.'. Some C is not A. / \ .'. Some C is not A.

§ 683. FIGURE IV.

Bramantip. \ / Barbara.
All A is B. \ = / All B is C.
All B is C. / \ All A is B.
.. Some C is A. / \ .. All A is C.
.'. Some C is A.