Totoloji: Bir önermesel formülün (veya bileşik önermenin) doğruluk cetvelindeki son değerlendirme sütunundaki bütün değerler “doğru”
Kaynak: Matematiksel mantık

Önermesel Eylemler: Searle'ün önermesel eyleminin tanımlanması, Austin'in retorik /konuşma eyleminin tanımıyla örtüşmemektedir.
Kaynak: John Searle