Tus kheej ntawm indiscernibles yog lub hauv paus ntsiab lus ontological uas hais tias tsis tuaj yeem cais cov khoom lossis cov koom haum uas muaj tag nrho lawv cov khoom sib xws. Ntawd yog, cov chaw x thiab y zoo ib yam yog tias txhua qhov kev twv muaj los ntawm x kuj muaj los ntawm y thiab rov ua dua.
Txoj cai Leibniz yog dab tsi ntawm kev tsis txaus ntseeg ntawm qhov sib txawv?
Nws converse, lub hauv paus ntsiab lus ntawm indiscernibility ntawm zoo tib yam (tseem hu ua Leibniz Txoj Cai), asserts tias yog x zoo ib yam rau y, ces txhua yam khoom ntawm x yog ib yam khoom ntawm y, thiab lwm yam. versa. …
Leibniz txoj cai qhia peb li cas?
Nws hais tsis muaj ob yam sib txawv raws nraim ib leeg. Qhov no feem ntau hu ua 'Leibniz's Law' thiab feem ntau to taub txhais tau tias tsis muaj ob yam khoom muaj raws nraim tib yam khoom.
Lub hauv paus ntsiab lus ntawm tus kheej hauv kev xav yog dab tsi?
1. nyob rau hauv logic, lub hauv paus ntsiab lus hais tias qhov twg X paub tias zoo ib yam rau Y, ib nqe lus hais txog X (los yog Y) yuav muaj tib lub ntsiab lus thiab qhov tseeb tus nqi raws li tib nqe lus hais txog Y (lossis X).
3 txoj cai ntawm logic yog dab tsi?
Txoj cai ntawm kev xav, kev lig kev cai, peb txoj cai tseem ceeb ntawm kev xav: (1) txoj cai ntawm kev tsis sib haum xeeb, (2) txoj cai tsis suav nrog nruab nrab (lossis thib peb), thiab (3) lub hauv paus ntsiab lus ntawm tus kheej. Peb txoj cai tuaj yeem sau ua cim raws li hauv qab no.
