Analyse de quelques préverbes et prépositions français et ... - LaLIC

Chapitre 6
et leur réécriture en forme applicative :
(26a) conflue 2 (avec la_Loire) l’Allier
(27a) (avec la_Loire) coule 1 l’Allier
(28a) et (coule 1 l’Allier) (coule 1 la_Loire)
(29a) coulent 1 (et l’Allier la_Loire)
(28a) et (29a) peuvent être reliés sans l’intervention de préverbe, à l’aide des
combinateurs de la logique combinatoire, notamment à l’aide du combinateur B B 2 (C Ψ) qui
appliqué à (27a) construit (26a).
1. et (coule 1 l’Allier) (coule 1 la_Loire) hyp.
2. Ψ et coule 1 l’Allier la_Loire intr. Ψ
3. C Ψ coule 1 et l’Allier la_Loire intr. C
4. B 2 (C Ψ coule 1 ) (et l’Allier la_Loire) intr. B 2
5. B B 2 (C Ψ) coule 1 (et l’Allier la_Loire) intr. B
6. [coulent 1 = B B 2 (C Ψ) coule 1 ] déf..
7. coulent 1 (et l’Allier la_Loire) rempl. 6,5
Nous allons maintenant relier (27a) et (28a) en dédoublant la préposition :
1. (avec la_Loire) coule 1 l’Allier hyp.
2. C avec coule 1 la_Loire l’Allier intr. C
3. K (C avec coule 1 ) avec la_Loire l’Allier intr. K
4. B K (C avec) coule 1 avec la_Loire l’Allier intr. B
5. B (B K) C avec coule 1 avec la_Loire l’Allier intr. B
6. [°conflue 2 = B (B K) C avec coule 1 ] déf..
7. ((conflue 2 ) avec) la_Loire l’Allier rempl. 5, 6
8. [°conflue 2 avec = B conflue 2 avec] loi
9. B conflue 2 avec la_Loire l’Allier rempl. 8,9
10. conflue 2 (avec la_Loire) l’Allier élim B
198