semantic tableau


semantic tableau

noun logic

  1. a method of demonstrating the consistency or otherwise of a set of statements by constructing a diagrammatic representation of all the circumstances that satisfy the set of statements
  2. the diagram so constructed

Leave a Reply

Your email address will not be published. Required fields are marked *

47 queries 0.931