mike11 a scris:
Ce se intelege din conditia: " Numai G poate fi programat intr-o zi anterioara unei zile in care este programat K" ?
Nu am citit, problema, dar in logica propozitionala "numai a este b", face sa se inverseze implicatia materiala. Prin urmare structura logica este
(a) X este programat inaintea lui K -> (b) X este G
Asta e tot ce inseamna. Implicatia materiala are doua reguli:
- daca subsecventul este fals, antecedentul este obligatoriu fals. Prin urmare nimeni decat G nu poate fi inaintea lui K.
- prin paradoxul implicatiei materiale, e posibil ca (a) sa fie fals si totusi (b) sa fie adevarat. Adica daca K e prima zi din sir, implicatia totusi tine.