Patrick_ a scris:
eumarian a scris:
Daca A, atunci B este adevarata chiar cand A este fals si este falsa doar cand A este adevarat si B e fals.
Nu e chiar asa.
"Daca A, atunci B" e adevarata doar daca A e adevarata. Din punct de vedere logic sau matematic, in prima faza se face evaluarea expresiei A iar daca este adevarata rezulta ca si B este adevarata.
:)) Nu, nu e deloc asa. (Daca A atunci B) e adevarata cand A e falsa, pentru ca propozitia mare e echivalenta cu "non-A sau B". Adica ce spune "Daca A atunci B" este ca A este o conditie suficienta pentru B, adica adevarul lui A (presupus) forteaza adevarul lui B
. Daca A este fals, implicatia nu forteaza nimic,. Vezi in acest sens conditii necesare si suficiente in ghidul de rationament sau orice manual de logica / logica matematica. De asta se cheama paradoxul implicatiei materiale, pentru ca ceva fals implica orice (si asta pare paradoxal)
Daca A -> B ar fi falsa cand A e fals, atunci ar fi echivalenta cu cu o banala conjunctie... si n-ar mai exista constructii cu "atunci daca". Singurul lucru pe care il garanteaza Daca A atunci B este ca nu se poate ca A sa fie adevarat in timp ce B e fals, nimic altceva.
Confuzia de aici pleaca de la faptul ca daca se adauga in fata un "numai", conditia suficienta ar fi putut fi necesara (si sensul implicatiei se schimba). Compara:
Daca esti profesor esti blond (Profesor -> Blond)
Numai daca esti profesor esti blond (Blond -> Profesor).
Doar ca citirea normala a oricarui "daca" e prima, a doua e cu totul rasturnat, desi in limbajul nelogic par foarte asemanatoare. Prin urmare, e ok interpretarea la C, trebuia selectat.