Logique des prédicats du premier ordre

Fabrice LAURI
IA41
IA41
Logique des prédicats du
Logique des prédicats du
premier ordre
premier ordre

Logique des prédicats
du premier ordre (PP)
- Introduction
- Définitions
- Théorie des modèles
- Théorie de la démonstration
- Propriétés fondamentales de (PP)
- Décidabilité de (PP)
- Principe de résolution

Logique des prédicats
du premier ordre (PP)
- Introduction
- Définitions
- Théorie des modèles
- Théorie de la démonstration
- Propriétés fondamentales de (PP)
- Décidabilité de (PP)
- Principe de résolution

Introduction
!"# "⇒¬!
" "
" ¬!
!$# ⇒¬!
"$ %
" ¬!&

Introduction
Nouveaux concepts dans (PP) :
'
'(
')
'*+))+, ∀ (&(-
'*++, ∃ (-&(
.
! p ≡ «Sébastien a les cheveux longs.»#
'«avoir les cheveux longs»prédicat
'Sébastiensujet du prédicat
' *+$+,
'(#-#)/
!(
'&&!(0