filmov
tv
06.Sémantique d'une formule dans la logique des Prédicats
Показать описание
La sémantique d'une formule dans la logique des prédicats se réfère à son interprétation dans un modèle donné. Cette interprétation permet de déterminer si une formule est vraie ou fausse par rapport à un modèle particulier
0:11:59
0:06:47
0:24:23
0:10:11
0:02:00
0:06:03
0:05:22
1:07:33
0:04:20
0:13:10
![[LO5] 10–12. Introduction](https://i.ytimg.com/vi/jIRA-oHV0T0/hqdefault.jpg)
0:03:02
0:06:05
0:00:58
2:29:05
1:21:09
0:06:51
0:27:30
![[LO5] 3.2. Satisfiabilité](https://i.ytimg.com/vi/kqaMf45oq_c/hqdefault.jpg)
0:15:03
0:08:25
1:04:37
0:03:34
0:01:24
![[LO5] 4.3. Substitutions](https://i.ytimg.com/vi/72l7bpZn5C0/hqdefault.jpg)
0:29:24
1:58:50