Süütute elude päästmise paradoks
Karmo Talts
Uurime süütuste elude päästmise paradoksi. Eeldame, et tuleb tagada, et poleks nii, et esimene elu jääb päästamata ja teine elu jääb päästamata.
Kasutame nüüd DeMorgani ekvivalentsust. Tuleb tagada, et esimene elu päästetakse või teine elu päästetakse.
Kasutame nüüd disjunktsiooni ja konditsionaali ekvivalentsust. Tuleb tagada, et kui esimest elu ei päästeta, siis päästetakse teine elu ja tuleb tagada, et kui teist elu ei päästeta, siis päästetakse esimene elu.
No comments:
Post a Comment