REPÙBLICA BOLIVARIANA DE VENEZUELA

UNIVERSIDAD NACIONAL EXPERIMENTAL SIMON RODRIGUEZ

NUCLEO MARACAY

EXTENSION MARIARA

Lógica proposicional

Participante: Valero Raifred

C.I.: 29808875

Sección: AM

Curso: Precalculo

Facilitador: Yenifer Toro

 Lógica Proposicional

La lógica proposicional estudia las variables proposicionales o

sentencias lógicas, sus posibles implicaciones, evaluaciones de verdad y en
algunos casos su nivel absoluto de verdad. Algunos autores también la
identifican con la lógica matemática o la lógica simbolice, ya que utiliza una
serie de símbolos especiales que lo acercan al lenguaje matemático.

Conectores Lógicos

 Negación: NO

En lógica y matemática, la negación, también llamada complemento

lógico, es una operación sobre proposiciones, valores de verdad, o en
general, valores semánticos. 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.

 Conjunción: Y

Solamente si las componentes de la conjunción son ciertas, la conjunción

es cierta.

 Disyunción: O

La disyunción solamente es falsa si lo son sus dos componentes.

 Condicional: entonces

Típicamente los valores de verdad de dos proposiciones, devolviendo el

valor de verdad falso sólo cuando la primera proposición es verdadera y la
segunda falsa.
  Bicondicional: si solo sí.

El Bicondicional o doble implicación es un operador que funciona sobre

dos valores de verdad, típicamente los valores de verdad de dos
proposiciones, devolviendo el valor de verdad verdadero cuando ambas
proposiciones tienen el mismo valor de verdad, y falso cuando sus valores de
verdad difieren.

Tabla de la Verdad

Es un arreglo que nos permite tener los posibles valores de verdad de

una proposición compuesta a partir de los valores de verdad de las
proposiciones simples.

 Negación

La negación de una proposición es una nueva proposición que tiene un

valor de verdad opuesto a la proposición original. Es decir, si el valor de
verdad de una proposición p es verdadero, entonces el valor de verdad de ~p
es falso.

La tabla de verdad para el conectivo ~ está dada por

~
p
p

V F

F V

 Disyunción

La disyunción es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo V.
 Esta proposición compuesta de denota por p V q y se lee p o q.

La tabla de verdad para el conectivo V está dada por

pV
p q
q

V V V

V F V

F V V

F F F

Se puede ver que para que una proposición compuesta p V q tenga valor
de verdad verdadero, basta con una de las proposiciones simples tenga valor
de verdad verdadero.

 Conjunción

La conjunción es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo ^

Esta proposición compuesta de denota p ^ q y se lee p y q.

La tabla de verdad para el conectivo ^ está dada por

p q p ^q

V V V

V F F

F V F

F F F
 Se puede ver que para que una proposición compuesta p ^ q tenga valor
de verdad verdadero, ambas proposiciones simples deben tener valor de
verdad verdadero.

 Condicionante

La condicional es la proposición compuesta que resulta de conectar dos

proposiciones, p y q, mediante el conectivo -->.

Esta proposición compuesta de denota por p --> q y se lee p implica q.

En esta proposición compuesta, la proposición simple p se llama

antecedente, mientras que la proposición simple q se llama consecuente.

La tabla de verdad para el conectivo --> está dada por

p -->q
p q

V V V

V F F

F V V

F F V

Se puede ver que una proposición compuesta p --> q tiene valor de

verdad falso solamente cuando el antecedente es verdadero y el
consecuente es falso. En cualquier otro caso, el valor de verdad de la
proposición compuesta es verdadero.

 Bicondicionante
 La bicondicional es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo <-->.

Esta proposición compuesta se denota por p <--> q y se lee p si y solo si

q. La tabla de verdad para el conectivo p <--> q está dada por

p q p <--> q

V V V

V F F

F V F

F F V

Las proposiciones compuestas pueden combinarse o conectarse para

formar proposiciones aún más complejas. Es claro que el valor de verdad de
una proposición, por compleja que sea, depende de los valores de verdad de
las proposiciones que las componen en sus formas más simples.

Para hacer la tabla de verdad de una proposición le asignamos una

columna a cada proposición que interviene, sea ésta simple o compuesta,
normalmente comenzando con las más simples y progresando en el orden
de complejidad de las proposiciones componentes.

El número de filas de la tabla viene dado por la potencia 2n donde n es el

número de proposiciones en la forma más simple que forman la proposición
compuesta dada.

Para asignar los valores de verdad a dichas proposiciones simples, se

procede de la forma siguiente:
 La primera columna se llena asignando valores V a la mitas de las filas
y valores F a la mitad siguiente.

La segunda columna se llena asignando valores V a un cuarto de las

filas, valores F al segundo cuarto, valores V al tercer cuarto y valores F al
último cuarto de filas de esa columna.

La tercera columna se llena asignando valores V a un octavo de las

filas, valores F al segundo octavo, valores V al tercer octavo, etc.

Así, se continúa hasta que terminen las columnas de las proposiciones

simples. Las columnas de las otras proposiciones se llenan a partir de las
columnas de las proposiciones simples, usando las tablas de verdad
definidas antes.

Referencias

https://es.wikibooks.org/wiki/%C3%81lgebra/L%C3%B3gica/Conectivos_L
%C3%B3gicos_y_Tablas_de_Verdad

https://www.gestiopolis.com/que-es-logica-proposicional/