I have two questions to ask: (a) Is there some rule for estimating the number of branches in a Beth tableaux in advance? and (2) is the number of the open branches in a semantic tableau equal to the number of the interpretations that assign to the propositional type a true value? If the answer to (b) is positive, where i can find the proof for it? Thanks in advance(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums - The Fusion of Science and Community**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# A question on Beth's semantic tableaux

Tags:

Loading...

Similar Threads - question Beth's semantic | Date |
---|---|

I Question about simplifying Sigma notation | Feb 11, 2018 |

I Shopping List Game: Probability Question | Dec 10, 2017 |

I A simple question about probability theory | Aug 2, 2017 |

B Correlation question | Jun 20, 2017 |

Beth Tableaux | Jun 17, 2005 |

**Physics Forums - The Fusion of Science and Community**