Maximos Exponentes De La Sociologia

Portafolio

Proposiciones simples y compuestas: Proposiciones simples son aquellas que no poseen operador lógico alguno. Las proposiciones compuestas están formadas por otras proposiciones y operadores lógicos.
Proposiciones Simples:
Son aquellas que no tienen oraciones componentes afectadas por negaciones ("no") o términos de enlace como conjunciones ("y"), disyunciones ("o") o implicaciones("sí. . . entonces"). Pueden aparecer términos de enlace en el sujeto o en el predicado, pero no entre oraciones.
Proposiciones Compuestas:
Una proposición será compuesta si no es simple. Es decir, si está afectada por negaciones o términos de enlace entre oraciones componentes.

La manera en que van a estar unidas ciertas proposiciones simples, para dar forma a proposiciones compuestas,será determinado rotundamente por el uso de conectivos.

1. Conjunción: Para la conjunción usaremos el símbolo lógico ^. Cuando dos proposiciones simples se combinan mediante la palabra « y », la proposición compuesta resultante se le llama conjunción. p ^ q debe ser verdadera, si, y solamente si, tanto p, como q, son verdaderas. De manera que, si al menos, una de las proposiciones simples esfalsa, entonces, el valor de verdad para p ^ q, es falso.
2. Disyunción: simbólicamente la denotaremos escribiendo p v q Se emplea la palabra «o» en el sentido inclusivo. Si p es verdadero o q es verdadera o si ambos, entonces p v q es verdadero; en cualquier otro caso p v q es falso. Es decir la disyunción de dos proposiciones es falsa solamente si cada proposición componente es falsa.
3.Condicional: En matemáticas se suele utilizar muy frecuentemente la proposición «Si p, entonces q». Tales proposiciones se llaman condicionales y se le denota por: p --> q.
también se puede expresar de las siguientes maneras:
a. p implica q
b. p solamente si q
c. p es suficiente para q
d. q es necesario para p
El condicional p --> q es verdadero a menos que p sea verdadero y q falso. Esdecir, una proposición verdadera no puede implicar una falsa.
4. Bicondicional: A este conectivo lógico especial lo llamamos condicional y se denota por el símbolo <-->, entonces p <--> q es lo mismo que (p --> q) y (q --> p). Si p y q tienen valores de verdad opuestos, entonces p <--> q es falso. Dicho de otra manera: si tanto p como q son verdaderos, entonces p <-->q es verdadero.
Si tanto p como q son falsos, entonces p <--> q también es verdadero.
Si p es verdadero y q falso, entonces p <--> q es falso.
Tablas de verdad: o tabla de valores de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.

Verdadero
| | |
El valorverdadero se representa con la letra V, si se emplea notación numérica se expresa con un uno: 1, en un circuito eléctrico, el circuito está cerrado.

Falso
| | |
El valor falso se representa con la letra F, si se emplea notación numérica se expresa con un cero: 0, en un circuito eléctrico, el circuito está abierto.

Variable
| | |
Para una variable lógica A, B, C,... que puedenser verdaderas V, o falsas F, los operadores fundamentales se definen así:

Negación
| | |
La negación es un operador que se ejecuta, sobre un único valor de verdad, devolviendo el valor contradictorio de la proposición considerada.

Conjunción
| | | |
La conjunción es un operador que opera sobre dos valores de verdad, típicamente los valores de verdad de dos proposiciones,devolviendo el valor de verdad verdadero cuando ambas proposiciones son verdaderas, y falso en cualquier otro caso. Es decir es verdadera cuando ambas son verdaderas
La tabla de verdad de la conjunción es la siguiente:

Que se corresponde con la columna 8 del algoritmo fundamental.

Disyunción
| | | |
| | | |
La disyunción es un operador que opera sobre dos valores de verdad,...