El documento describe los símbolos y términos lógicos utilizados para representar proposiciones, incluyendo el símbolo ^ para "y", v para "o", ¬ para "no", q para "si...entonces". Explica que las proposiciones atómicas no se componen de otras proposiciones, mientras que las proposiciones moleculares están formadas por proposiciones atómicas unidas por conectivos lógicos. Además, define términos como conjunción, disyunción, implicación y negación.

1. “Y”:
U sa el símbolo ^ para indicar
la palabra “y". De esta
manera, P ^ Q significa “P y
Q".
“O” :
U sa el símbolo v para indicar la
palabra “o". Así, P v Q significa
“P o Q"
“No”:
Usa el símbolo ¬ para indicar la frase “no es
verdadero qué". Así, “P” significa “no es
verdadero que P”
Formas de proposiciones y sus
símbolos.
Se usan para proposiciones atómicas
letras mayúsculas tales como P, Q, R, S,
entre otras.
“Si…..entonces” :
para indicar "si..
entonces". Asi, P q y se lee “si P,
entonces Q”.
Usa el simbolo
Tipos de proposición
Proposiciones Atómicas.
Las proposiciones atómicas son
aquéllas que no se componen de
otras proposiciones.
Proposiciones Moleculares.
Está formada por una o más
proposiciones atómicas unidas por
términos de enlace. Estas
proposiciones moleculares se han
construido con una o dos
proposiciones atómicas y distintos
términos de enlace.
Implicación. Se dice que la proposición
P implica lógicamente la proposición Q
y se escribe P = Q, si Q es verdad
cuando P es verdad
Negación:
Dada una proposición cualquiera,
P, llamaremos “negación de P” a la
proposición “no P”, y la notaremos
P. será verdadera cuando P sea
falsa y falsa cuando P sea
verdadera
Es una oración
declarativa o una
expresión matemática
que es verdadera o es
falsa, pero no ambas.
Términos de enlaces o conectivos lógicos y sus símbolos.
Los conectivos lógicos son elementos que sirven de enlace entre las
proposiciones, para formar otra. Las más usadas son:
“Y”:
“O”:
“No”:
“Si…..entonces” :
Disyunción
Dadas dos proposiciones
cualesquiera, P y Q, llamaremos
disyunción de ambas a la
proposición compuesta por “P y Q”
y la notaremos P
Q. esta
proposición será verdadera si al
menos una de las dos P ó Q lo es
PROPOSICIONES
Conjunción
Dada dos posiciones cualquiera P y Q, llamaremos
conjunción de ambas, a la proposición compuesta
“P y Q” y la notaremos P
Q. esta proposición
será verdadera únicamente en el caso de que ambas
proposiciones lo sean.
. Doble implicación.
Es una proposición de la forma «P
si y sólo si Q» y afirma que l a P
será verdadera cuando y
exclusivamente Q también lo sea,
así como también P será falsa
cuando Q lo sea. Otra forma de
expresar es decir que Q es una
condición necesaria y suficiente
para P.
. Diferencia simétrica.
La diferencia simétrica de dos conjuntos A y B es
otro conjunto A B cuyos elementos son todos los
elementos de A o B, a excepción de los elementos
comunes a ambos:
Welcome to MindManager (2).xmmap - 08/11/2013 - Mindjet