warunki

Czesc
Jaka jest definicja warunkow koniecznych i wystarczajacych?
Chodzi mi o jak najbardziej formalny zapis.
Jesli zachodzi (jest prawdziwa) implikacja

Jesli zachodzi (jest prawdziwa) implikacja
p == q
to
p - warunek wystarczajacy dla q
q - warunek konieczny dla p

Pozdrawiam.
Piotr.

Dla sytuacji A i B==C
A i B wystarczajacy dla C
C konieczny dla A i B
A, B nie podlegaja tym okresleniom

Czy w sytuacji C== A i B A, B mozna okreslic jako warunki konieczne dla C
(tak mi podpowiada intuicyjne rozumienie "koniecznosci")?
Z Twojej def. wynikaloby jednak, ze takie okreslenie przysluguje tylko A i B.

Dla sytuacji A i B==C
A i B wystarczajacy dla C
C konieczny dla A i B
A, B nie podlegaja tym okresleniom
Tak.

Czy w sytuacji C== A i B A, B mozna okreslic jako warunki konieczne
dla C

(tak mi podpowiada intuicyjne rozumienie "koniecznosci")?
Z Twojej def. wynikaloby jednak, ze takie okreslenie przysluguje tylko A i
B.