Ist "stets" eine Implikation oder eine Äquivalenz?

[plc_tippser]

Folgende Aussage ist gegeben:

Eine häauig in mathematischen Beweisen vorkommende Konstellation ist die
folgende: Man weiß, daß 1. aus P stets Q folgt und daß 2. aus Q stets R
folgt; daraus schließt man, daß aus P stets R folgt. Das diese Vorgehensweise
legitim ist, beweisen Sie nun bitte selbst:

Danke im Voraus,

pt

[camper]

'folgt' ist die implikation, stets steht für 'für alle' oder 'für jedes'
'aus P folgt stets Q' heisst nichts anderes als

'für alle x: P(x) (für die P wahr ist) --> Q(x) (ist auch Q wahr)'

damit ist auch leicht klar, wie man die transitivität nachweist