35 lines
390 B
Markdown
35 lines
390 B
Markdown
# DTALMP
|
|
Démonstrateur à tableau analytiques pour les logiques modales propositionnelles
|
|
|
|
## Compilation
|
|
```
|
|
cd src/
|
|
javac Main.java expression/* statement/*
|
|
```
|
|
|
|
## Exécution
|
|
```
|
|
java Main
|
|
```
|
|
```
|
|
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
|
|
|
|
``` |