Asserció lògica

De Viquipèdia
Salta a: navegació, cerca

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 | modifica el codi]

Referències[modifica | modifica el codi]

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