Somit kann ich auch theoretisch aus B ∨ ¬A direkt ¬B ∨ ¬A umformen
(nur durch Negation von B) und erhalte dann¬B => ¬A ?
↧
Kommentiert: Umformung (Beweis einer Aussage):
↧
Somit kann ich auch theoretisch aus B ∨ ¬A direkt ¬B ∨ ¬A umformen
(nur durch Negation von B) und erhalte dann¬B => ¬A ?