26 lines
299 B
Markdown
26 lines
299 B
Markdown
# DTALMP
|
|
Démonstrateur à tableau analytiques pour les logiques modales propositionnelles
|
|
|
|
## Exécution
|
|
```
|
|
Entrer Expression Infixe :
|
|
L(a|b)>(La|Lb)
|
|
```
|
|
```
|
|
W1 : !>L|ab|LaLb
|
|
W1 : L|ab
|
|
W1 : !|LaLb
|
|
W1 : !La
|
|
W1 : !Lb
|
|
W1 -> W2
|
|
W2 : !a
|
|
W2 : |ab
|
|
W1 -> W3
|
|
W3 : !b
|
|
W3 : |ab
|
|
W2 : a
|
|
W2 : b
|
|
W3 : a
|
|
SAT
|
|
|
|
``` |