Nhi ca hỏa hoa

1, “Tất yếu” tựu thuyết minh như quả kết luận B thành lập, nhất định khả dĩ chứng minh xuất điều kiện A, tức kết luận khả thôi điều kiện. Đãn phản quá lai tựu toán cai điều kiện tồn tại liễu, kết luận dã bất nhất định thành lập, thử vi tất yếu bất sung phân điều kiện.

Cấp xuất y=x, vấn x>0 thị y>1:

Hiển nhiên x>0 thời y tịnh bất nhất định đại vu 1, nhi y đại vu 1 thời x nhất định đại vu 0. Cố đáp: Tất yếu bất sung phân điều kiện.

2, “Sung phân” tựu thuyết minh cai điều kiện A dĩ kinh túc cú chứng minh kết luận B liễu, tức hữu điều kiện A khả chứng kết luận B.

Vấn x>1 thị y>0 đích thập ma điều kiện:

Đồng dạng đạo lý, x đại vu 1 thời, nhất định khả dĩ đắc đáo y đại vu 0, đãn phản thôi tựu bất hành. Cố đáp: Sung phân bất tất yếu.

Sổ học tính chất:

Giả thiết A thị điều kiện, B thị kết luận

( 1 ) do A khả dĩ thôi xuất B, do B khả dĩ thôi xuất A, tắc A thị B đích sung yếu điều kiện (A=B)

( 2 ) do A khả dĩ thôi xuất B, do B bất khả dĩ thôi xuất A, tắc A thị B đích sung phân bất tất yếu điều kiện (A⊆B)

( 3 ) do A bất khả dĩ thôi xuất B, do B khả dĩ thôi xuất A, tắc A thị B đích tất yếu bất sung phân điều kiện (B⊆A)

( 4 ) do A bất khả dĩ thôi xuất B, do B bất khả dĩ thôi xuất A, tắc A thị B đích kí bất sung phân dã bất tất yếu điều kiện (A￠B thả B￠A)

1, định nghĩa bất đồng

Như quả một hữu sự vật tình huống A, tắc tất nhiên một hữu sự vật tình huống B, dã tựu thị thuyết như quả hữu sự vật tình huống B tắc nhất định hữu sự vật tình huống A, na ma A tựu thị B đích tất yếu điều kiện. Tòng la tập học thượng khán, B năng thôi đạo xuất A, A tựu thị B đích tất yếu điều kiện, đẳng giới vu B thị A đích sung phân điều kiện.

Như quả A năng thôi xuất B, na ma A tựu thị B đích sung phân điều kiện. Kỳ trung A vi B đích tử tập, tức chúc vu A đích nhất định chúc vu B, nhi chúc vu B đích bất nhất định chúc vu A, cụ thể đích thuyết nhược tồn tại nguyên tố chúc vu B đích bất chúc vu A, tắc A vi B đích chân tử tập; nhược chúc vu B đích dã chúc vu A, tắc A dữ B tương đẳng.

2, la tập bất đồng

Trần thuật mỗ nhất sự vật tình huống thị lánh nhất kiện sự vật tình huống đích sung phân điều kiện đích giả ngôn mệnh đề khiếu tố sung phân điều kiện giả ngôn mệnh đề. Sung phân điều kiện giả ngôn mệnh đề đích nhất bàn hình thức thị: Như quả p, na ma q. Phù hào vi: p→q( độc tác “p uẩn hàm vu q” ).

Lệ như “Như quả vật thể bất thụ ngoại lực tác dụng, na ma tha tương bảo trì tĩnh chỉ hoặc quân tốc trực tuyến vận động” thị nhất cá sung phân điều kiện giả ngôn mệnh đề. Căn cư sung phân điều kiện giả ngôn mệnh đề đích la tập tính chất tiến hành đích thôi lý khiếu sung phân điều kiện giả ngôn thôi lý.

Trần thuật mỗ nhất sự vật tình huống thị lánh nhất kiện sự vật tình huống đích tất yếu điều kiện đích giả ngôn mệnh đề khiếu tố tất yếu điều kiện giả ngôn mệnh đề. Tất yếu điều kiện giả ngôn mệnh đề đích nhất bàn hình thức thị: Chỉ hữu p, tài q. Phù hào vi: p←q( độc tác “p nghịch uẩn hàm q” ). Lệ như “Chỉ hữu hữu tác án động cơ, tài hội thị án phạm” thị nhất cá tất yếu điều kiện giả ngôn mệnh đề.

Căn cư tất yếu điều kiện giả ngôn mệnh đề đích la tập tính chất tiến hành đích thôi lý khiếu tất yếu điều kiện giả ngôn thôi lý.

2, phán đoạn phương pháp bất đồng

Tất yếu điều kiện: Như quả một hữu A, tắc tất nhiên một hữu B; như quả hữu A nhi vị tất hữu B, tắc A tựu thị B đích tất yếu điều kiện, ký tác B→A, độc tác “B hàm vu A”.

Sung phân điều kiện: Như quả A năng thôi xuất B, A tựu thị B đích sung phân điều kiện.

‘ nhất khỏa sí nhiệt đích tâm ’ thị nhất khỏa ủng hữu ái tâm, hằng tâm, quan tâm, thiện tâm, từ bi tâm… Năng bi thiên mẫn nhân, quan tâm ái hộ xã hội thượng đích lão nhược bệnh tàn, thời khắc trạm tại thời đại tiền liệt, dĩ nhất hệ liệt đích ‘ tâm ’ khứ đối đãi nhậm hà sự vật, vĩnh bất mai oán…