Betekenis van vervulbaarheidsequivalent | Babel Free

Definities

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

ERK-niveau