En lógica proposicional, las formulas bien formadas (f.b.f) son proposiciones, los cuales son enunciados que admiten un único valor de verdad, el cual puede ser Verdadero que se denota "V" o Falso y se escribe "F".
Las proposiciones se pueden denotar ya sea con letras mayúsculas latinas P, Q, R, etc... (Estás son las mas usadas) o colocando indices (indexar) cada una de ellas tales como: P1, P2, P3, ....Pn donde n puede asumir cualquier valor natural.
Tomando en cuenta que toda proposición tiene una cierta cantidad de posibilidades lógicas; es decir, para 1 proposición existe 2 = 21 posibilidades lógicas, para dos proposiciones son 4 = 22, para tres proposiciones 8 =23 posibilidades lógicas, ed decir la cantidad de posibilidades lógicas crece exponencialmente con base 2, por lo tanto, en el caso que tengo n proposiciones, entonces hay 2n.
Las proposiciones se pueden clasificar en dos grupos:
- Proposición simple: es cuando se encuentra solo un proposición.
- Proposición compuesta: en este se encuentran varias proposiciones unidas o enlazadas por lo menos un conector lógica ( v, ∧ ,→, ↔ ).
↔↔ ↔
No hay comentarios:
Publicar un comentario