vervulbaarheidsequivalent

  • ver·vul·baar·heids·equi·va·lent
stellend
onverbogen vervulbaarheidsequivalent
verbogen vervulbaarheidsequivalente

vervulbaarheidsequivalent

  1. In de klassieke logica zijn twee proposities vervulbaarheidsequivalent als er voor beide wel (of niet) een toekenning van waar of onwaar aan de atomaire formules bestaat waardoor de proposities waar zijn