Coerent (logic)

O consecință este a doua jumătate a unei propoziții ipotetice . În forma standard a unei astfel de propoziții, este partea care urmează „atunci”. Într-o implicație , dacă implică, atunci se numește antecedent și se numește consecvent . $\ phi$ $\ psi$ $\ phi$ $\ psi$

De exemplu:

Dacă P , atunci Q .

Q este consecința acestei propoziții.

Dacă X este un mamifer, atunci X este un animal.

Aici, „ X este un animal” este consecința.

Dacă computerele pot gândi, atunci sunt în viață.

„sunt în viață” este consecința.

Consecința unei propoziții ipotetice nu este neapărat o consecință a antecedentului.

Dacă maimuțele sunt mov, atunci peștii vorbesc franceza.

„peștii vorbesc franceza” este consecința aici, dar intuitiv nu este o consecință a afirmației (și nici a nimic de-a face cu) făcută în antecedentul că „maimuțele sunt purpurii”.

Vezi și tu

Antecedent (logic)

Referințe

(fr) Acest articol este preluat parțial sau în întregime din articolul din Wikipedia engleză intitulat „ Consequent ” (a se vedea lista autorilor ) .

Seturi, funcții și logică - Introducere în matematica abstractă, Keith Devlin, Chapman & Hall / CRC Mathematics, ediția a III -a, 2004