ReasonLines

Wallace A Murphree

Энэ аппын тухай

ReasonLines (1) уламжлалт syllogism болон уламжлалт syllogism (2) нь өргөтгөх нь шинэ, хялбар арга нь тоон тоон илэрхийлэл оруулах болно.
 
1) уламжлалт syllogism шинэ хандлага нь
 
Харин үүний оронд ийм томоохон таамаглал, бага таамаглал болон дүгнэлтийн аргумент, бүрэлдэхүүн зэрэг алслагдсан тайланг харгалзан, энэ шинэ хандлага нь түүнтэй адилтгах нь мэдэгдэл тус бүр баглааг болон сагс бүр сум өөрийн "бүдүүвч" төлөөлж байна. байр схем дараа нь Juxtaposition харуулдаг ямар дүгнэлт, хэрэв байгаа бол, хохирсон тохиолдолд тус бүр нөгөө талд нь хамт газарт унасан болно. Хэрэглэгч зөвхөн зөв байр схем хэрхэн сонгох, хэрхэн дүгнэлт нь сум дагаж сурах хэрэгтэй.
 
& # 8195; & # 8195; тусламж хуудасны хэсэг нэг нь энэ шинэ хандлага нь заавар юм.
 
(2) уламжлалт syllogism тоон өргөтгөл
 
Энэ нь аль хэдийн тоон тодорхой quantifier тайлбарлах нь стандарт юм; Өөрөөр хэлбэл, энэ нь авах "зарим" Түүнээс гадна, бүх нийтийн quantifiers, "бүх" болон "ямар ч" мөн итгэлтэйгээр тоон оноос хойш үзүүлж болно "наад зах нь нэг." гэж "бүх", "тэг бусад бүх" гэсэн утгатай ба стандарт "үгүй" энэ тул аль нь ч "тэг бусад нь ч" гэсэн утгатай. энэ нь уламжлалт quantifiers зүгээр л "наад зах нь хоёр", "наад зах нь нэг" цуврал нээж хойш эцэс төгсгөлгүй болох quantifications эхлэлийг тэмдэглэсэн нь "наад зах нь гурван болж байна "гэх мэт, мөн" бүх (аль нь ч) ч тэг "нээгдэнэ" бүх (аль нь ч), харин нэг нь "," бүх (аль нь ч) ч хоёр, "гэх мэт
 
Энэ тодорхой болгосноор, тэг, уламжлалт syllogisms нэг өөр тоогоор орлуулж болно. Тэгэхээр жишээ нь, " харин 10-А мэдээлэл В ба 20 В боловч C байдаг тул мэдээлэл ч 30 нь юм C " болон " Наад зах нь 100 A байдаг B, мэдээлэл ч 7-B, C байдаг болохоор дор хаяж 93 нь байдаг C "уламжлалт Барбара болон Darii адил хүчинтэй бөгөөд маш адилхан шалтгаанаар байна.
 
& # 8195; & # 8195; Хоёр тусламж хуудасны хэсэг схем хандаж, энэ тоон өргөтгөл боловсруулдаг.

Шинэ юм юу байна

Minor bug fixes