Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Instrucción
Debilitamiento de poscondición
Modo de combinarse y ordenarse las palabras Si [R ⇒ P] y {Q}S{R} es válida, entonces también es válida {Q}S{P}
y las expresiones
Conjunción de poscondiciones
Corrección y verificacion
Precondicion más débil Si {Q}S{R} y {Q}S{P} son válidas, entonces también es válida {Q}S{R ∧ P}
de programas hace uso de
funcion
Disyunción de precondiciones
Si {Q}S{R} y {P}S{R}son válidas, entonces también es válida{Q ∨ P}S{R}
w(intruccion,poscondicon)
Asignación
Instrucción condicional
Ciclos