Mindpicnic

Jetzt anmelden

 

Hilfe zu Formatierungen (fett, kursiv, ...)

 

« 5 »

The conclusion is a biconditional (p <-> q).

Frage
 
Tipp
 

Two-step proof necessary

(1)

  1. Assume p
  2. Try to arrive at q
  3. Apply ->I
  4. (p -> q)

(2)

  1. Assume q
  2. Try to arrive at p
  3. Apply -> I
  4. (q -> p)

(3)

  1. Apply <->I on (1) and (2)
Antwort
 
Erklärung
 
 

« Zurück zu den Karteidetails