Loogika struktuurne reegel "lõige" ja eelduste hulk, mis tõestab vääruse
Karmo Talts
Vaatame, mida see tähendab loogika struktuurse reegli "lõige" jaoks, kui meie eeldused lubavad tõestada vääruse. Kui väidete hulgast gamma järeldub väärus koos väidete hulgaga delta ja väidete hulgast pii koos väärusega järeldub väidete hulk lamdba, siis gammast koos piiga järeldub delta ja lambda siis, kui me lõikame vääruse välja. Me ei pruugi deltat ja lambdat saada tõestada ilma gammata, mis tõestab vääruse.
Kommentaare ei ole:
Postita kommentaar