Vés al contingut

Asserció lògica

De la Viquipèdia, l'enciclopèdia lliure

En lògica matemàtica, una asserció lògica és una afirmació que assevera que una premissa és veritable.[1]

Per exemple, si p = x "és parell", la implicació

és certa. Podem el mateix usant el símbol d'asserció com

Vegeu també

[modifica]

Referències

[modifica]
  1. Diccionario de Filosofía (en castellà). Barcelona: SPES Editorial (edició especial per a RBA Editoriales), 2003, p. 15 (Biblioteca de Consulta Larousse). ISBN 84-8332-398-2.