hwad konseqvens och logik heter?