Overleg:Semantisch tableau

Bij dit voorbeeld:

                     (A ∧ B) -> C| ~C         
                                D|
                               ~E|
                                 |E                       
                                C|                       
                        _________|________                
                      C|                  |A ∧ B      
                    open tak        ______|______
                                   |A            |B     
                               gesloten tak   open tak

Is B niet ook een gesloten tak? Lijkt zo raar dat A en B andere antwoorden hebben, terwijl ze dezelfde betekenis in de formule hebben.

Dat hele voorbeeld mag inderdaad wel eens herschreven worden. Het wordt nl. ook onnodig moeilijk gemaakt met extra premissen. DeJaVu3 27 okt 2009 11:58 (CET)

Tweede voorbeeld

Het tweede voorbeeld: ¬B ∧ (C ∨ B) ∧ ¬ (A ∨ D), roept wel vragen op:

1. Waarom wordt B niet gelijk rechts geplaats, ipv eerst als ¬B aan de linkerkant? Hetzelfde voor ¬ (A ∨ D).
2. Waar komt de C vandaan onderin de rechtertak?

Madyno (overleg) 10 mei 2020 11:00 (CEST)

Wat betreft jouw eerste vraag: Het gaat hier om een formele bewijsmethode, dus je mag alleen de regels precies toepassen. Er is geen regel die direct uit $\neg B\land Q$ aan de linkerkant $B$ aan de rechterkant afleidt, maar er zijn wel regels die uit $\neg B\land Q$ aan de linkerkant eerst $\neg B$ aan de linkerkant en daarna $\neg B$ aan de rechterkant afleidt.

Wat betreft jouw tweede vraag: geen idee. Dat klopt volgens mij inderdaad niet. Het volgt natuurlijk wel uit $C\lor B$ en $\neg B$, maar volgens mij niet als één stap.

Hoopje (overleg) 10 mei 2020 14:37 (CEST)

C moet D zijn; heb het gecorrigeerd. Madyno (overleg) 27 mei 2020 23:38 (CEST)

Het tableau is nu in ieder geval juist, maar in de tekst erboven wordt nog wel naar "de C rechtsonder" verwezen die er nu niet meer is. En in een D veranderen gaat daar niet, want in de linker deelboom staat geen D aan de linker kant waarmee die D niet in tegenspraak zou kunnen zijn. Hoopje (overleg) 28 mei 2020 11:24 (CEST)