Metadata
Author: WikiMatrix
Data
Spanish[es]
Entre las reglas de la lógica proposicional clásica algunas de la más notables son listadas a continuación: Ley de doble negación Leyes de idempotencia Leyes asociativas Leyes conmutativas Leyes distributivas Leyes de De Morgan Otras leyes como el principio del tercero excluido son admisibles en lógica clásica, pero en lógica intuicionista y con fines a sus aplicaciones matemáticas no existe un equivalente del tercero excluido, por ejemplo.
Basque[eu]
Logika klasikoaren legeen artean hauek dira aipagarrienak: Ukapen bikoitza Idenpotentzia legeak Trukatze legeak Elkartze legeak Banatze legeak De Morganen legeak Hirugarrena baztertzearen printzipioa bezalako beste lege batzuk logika klasikoan onartzen dira, baina logika intuizionistan, adibidez, ez dago lege horren baliokiderik.