conferencias & eventos ux
CONECTORES LÓGICOS
En lógica, una conectiva lógica, o simplemente conectiva,
(también llamado operador lógico o conectores lógicos) es un
símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
NEGACIÓN
Palabras conectivas: no, no es cierto que, no es verdad que, nunca, carece de, sin, etc.
Prefijos negativos: a, des, in, i.
Condición: lo V se transforma en F (y al revés) P -p
CONJUNCIÓN:
Palabras conectivas: y, aunque, pero, mas, también, sin embargo, además, etc.
Condición: es V cuando ambas son V.
DISYUNCIÓN INCLUSIVA
Una, otra o ambas a la vez. (y/o)
Palabras conectivas: o
Condición: es F cuando las dos son F.
LA CONDICIONAL
Palabras conectivas: Si ..p.. entonces ..q.. Si ..p.. , ..q.. Cuando .......p............. , ......q.. Siempre ......p............. , ....q.. Es condición suficiente..p..para que..q.. .........q........ sólo si ......p....... Es condición necesaria...q..para que..p..
Condición: es falsa sólo si el antecedente (p) es V y el consecuente (q) es F.
LA BICONDICIONAL
Palabras conectivas: si y sólo si; cuando y sólo cuando; es equivalente a; es condición suficiente y necesaria para; etc.
Condición: son verdaderas si ambas proposiciones tienen el mismo "valor de verdad".