Las fórmulas en lógica son comúnmente construidas recursivamente a partir de algunas variables proposicionales, algún número de conectivos lógicos, y algunos cuantificadores lógicos. Las variables proposicionales son las fórmulas atómicas de la lógica proposicional. Por ejemplo, en una lógica proposicional dada, se podría definir una fórmula de la siguiente manera:
Smullyan, Raymond M. First-Order Logic. 1968. Dover edition, 1995. Capítulo 1.1: Formulas of Propositional Logic.
Datos:Q3492863
Agosto 05, 2021
variable, proposicional, lógica, matemática, variable, proposicional, también, llamada, variable, sentencial, letra, sentencial, variable, discreta, puede, verdadera, falsa, variables, proposicionales, bloques, construcción, básicos, fórmulas, proposicionales,. En logica matematica una variable proposicional tambien llamada variable sentencial o letra sentencial es una variable discreta que puede ser verdadera o falsa Las variables proposicionales son los bloques de construccion basicos de las formulas proposicionales usadas en logica proposicional y en logicas superiores Las formulas en logica son comunmente construidas recursivamente a partir de algunas variables proposicionales algun numero de conectivos logicos y algunos cuantificadores logicos Las variables proposicionales son las formulas atomicas de la logica proposicional Por ejemplo en una logica proposicional dada se podria definir una formula de la siguiente manera Cada variable proposicional es una formula Dada una formula X su negacion X es una formula Dadas dos formulas X e Y y un conectivo binario b como por ejemplo la conjuncion entonces X b Y es una formula De este modo todas las formulas de la logica proposicional son construidas utilizando variables proposicionales como unidades basicas Las variables proposicionales son representadas como predicados 0 arios en logica de primer orden Vease tambien EditarValor de verdad Tipo de dato logico Funcion booleana Logica proposicionalReferencias EditarSmullyan Raymond M First Order Logic 1968 Dover edition 1995 Capitulo 1 1 Formulas of Propositional Logic Datos Q3492863Obtenido de https es wikipedia org w index php title Variable proposicional amp oldid 133370822, wikipedia, wiki, leyendo, leer, libro, biblioteca,