Negación.- Si p es una preposicón, entonces "no p" es la negación de p y se denota por -p.
Ejemplo: P: hoy es martes y -P: hoy no es martes.
Sinónimos de no: No es cierto que ......, No es el caso que ....., Es falso que ...., No sucede que ..., etc.
Conjunción "Y".- La conjunción de dos preposiciones se forma insertando la palabra "y" entre ellas.
Ejemplo: "Hoy es día de fiesta y amaneció lloviendo"
Sinónimo de la conjunción: Además, Pero, Sin embargo, También, Aún, etc.
Disyuncion "o".- La disyunción se da en el caso de que al menos una de las preposiciones sea verdadera. También se forma insertando la o entre ellas.
Ejemplos: Tiro las cosas viejas o que no me sirven.
Implicación o Condicional.- Si p y q son proposiciones, se llama condicional de p y q a la proposición compuesta "si p entonces q" y se denota por p ─> q.
Ejemplos: Si no llueve entonces iremos a la playa.
Sinónimos de condicional: Es condición suficiente para, es condición necesaria para, si y sólo si.
Doble implicacion o bicondicional.- Sólo es verdadera si ambas proposiciones tienen el mismo valor de verdad.
En lógica y matemática, la negación, es una operación valores de verdad, Intuitivamente la negación de una proposición es verdadera cuando dicha proposición es falsa, y viceversa. En lógica clásica la negación está normalmente identificada con la función de verdad que cambia su valor de verdadero a falso y viceversa.
ResponderEliminar