演繹邏輯
演

演繹邏輯　　　

以演繹推理為基本內(nèi)容的邏輯系統(tǒng)。在歐洲，古希臘邏輯學(xué)家亞里士多德為其奠基人，其后的斯多葛學(xué)派有所發(fā)展。20世紀(jì)初數(shù)理邏輯形成一門獨(dú)立的學(xué)科后，演繹邏輯發(fā)展到一個(gè)新的階段。