conectivos logicos

CONECTIVOS LÓGICOSCONECTIVOS LÓGICOS

Los conectivos lógicos, llamados también operadores, son símbolos del lenguajes formal que reemplazan a los conectivos gramaticales y al adverbio de negación no.

OPERACIÓN LÓGICA

CONECTIVO LÓGICO

ESQUEMA

Negación ~ ~p

Conjunción ^ P ^ q

Disyunción Inclusiva v

P v q

Disyunción Exclusiva

v P v q

Condicional P q

Bicondicional P q

TABLAS DE VERDADTABLAS DE VERDAD

A continuación se representan en tablas los valores de verdad que podrían tomar las proposiciones

NEGACIÓN (p).- Este operador permite cambiar el valor de verdad de las proposiciones.

Los términos gramaticales más usados son: “NO”, “NO ES VERDAD”, “NO ES CIERTO QUE”, “NI”.

Los términos gramaticales más usados son: “Y”, “PERO”, “MAS” (sin tilde), “SIN EMBARGO”, “ADEMÁS”, “AUNQUE”, “A LA VEZ”, “TAMBIÉN” y los signos de puntuación: coma, punto y coma, y punto.

CONJUNCIÓN (pq).- Este operador solo es VERDADERO cuando las dos proposiciones son VERDADERAS, en otro caso, es FALSA.

DISYUNCIÓN (pvq).- Este operador solo es FALSO cuando las dos proposiciones son FALSAS, en otro caso, es VERDADERA.

Los términos gramaticales más usados son: “O”

DISYUNCIÓN EXCLUSIVA (p v q).- Este operador es FALSO cuando las dos proposiciones son FALSAS o VERDADERAS, en otro caso, es VERDADERO.

Los términos gramaticales más usados son: “O…O”

CONDICIONAL (pq).- Este operador solo es FALSO cuando la primera proposición es VERDADERA, y la segunda es FALSA, en otro caso, es VERDADERA.

Los términos gramaticales más usados son:“Sí p, q” “cuando p, q” “solo si q, p”“Sí p, entonces q” “q, si p” “q, pues p”“p solo si q” “q con la condición de p” “se tiene q, si se tiene p”“p solamente si q” “q cuando p” “q puesto que p”“p implica q” “q siempre que p” “q porque p”“los p son q” “p por lo tanto q” “q debido a que p”

BICONDICIONAL (pq).- Este operador es VERDADERO cuando las dos proposiciones son VERDADERAS o FALSAS, en otro caso, es FALSO.

Los términos gramaticales más usados son: “p si y solo si q”, “p si y solamente q”, “p implica q y q implica p”, “p cuando y solo cuando q”, “p es igual a q”, “p entonces y solo entonces q”.