I tested out your generated syllogisms. I found the majority of them were correct, with the exception of IAO-3(which is a direct contradiction of another generated syllogism, IAI-3). Additionally, when compared to other sites, I found your list was missing OAO-3 (which, according to my testing, was valid). Nice work on the program, interesting idea for people who are time poor.
I tested out your generated syllogisms. I found the majority of them were correct, with the exception of IAO-3(which is a direct contradiction of another generated syllogism, IAI-3). Additionally, when compared to other sites, I found your list was missing OAO-3 (which, according to my testing, was valid).
ReplyDeleteNice work on the program, interesting idea for people who are time poor.
Thanx on your comment. However, IAO-3 is
DeleteSome M are P
All M are S
----------------
Some S are not P
It is not on the list.
=====================
OAO-3 (Bocardo) is on the list, number 16.
Some M are not P
All M are S
----------------
Some S are not P
My bad, sorry! I must have miss copied them down incorrectly and I didn't think to re-check.
ReplyDeleteInterestiing read
ReplyDelete