Lo mejor de Lógica Proposicional y Tablas de Verdad (COMPLETO)

Показать описание

Aprenderemos todo sobre lógica proposicional
00:00 ENUNCIADO ATÓMICO
Es aquel que carece de conjunciones.

04:54 ENUNCIADO MOLECULAR
Se obtiene combinando enunciados atómicos mediante conjunciones.

07:51 ¿QUÉ ES UNA PROPOSICIÓN?
Es aquella oración o enunciado que puede calificarse o bien como verdadero (V) o bien como falso (F) pero no ambas posibilidades al mismo tiempo.

17:18 VALOR DE VERDAD DE UNA PROPOSICIÓN
La verdad o falsedad de una proposición lógica recibe el nombre de VALOR DE VERDAD o también VALOR VERITATIVO.
Si una proposición p es verdadera, anotaremos este hecho con la letra V. En cambio, si la proposición p es falsa, la anotaremos con la letra F.

29:54 PROPOSICIONES SIMPLES O ATOMICAS
Es aquella proposición con un solo significado carece de conjunciones gramaticales y del adverbio de negación NO.

34:35 PROPOSICIONES COMPUESTAS O MOLECULAR
Son aquellas que tienen dos o más significados unidos por conjunciones gramaticales o, en todo caso, contienen el adverbio de negación NO.

40:47 CONECTIVOS LÓGICOS Y TABLAS DE VERDAD
Los conectivos lógicos. llamados también operadores o constantes, son símbolos que reemplazan a las conjunciones gramaticales y al adverbio de negación NO. Los conectivos lógicos que más usaremos para componer proposiciones compuestas son los siguientes:

50:05 TABLAS DE VERDAD
Veamos de cuántas formas podemos combinar los valores de falso o verdadero de las proposiciones simples. Dichas combinaciones se presentan en una tabla, a la cuales le denomina Tabla de verdad. El número de combinaciones se obtiene con la expresión 2n (el exponente n es el número de proposiciones analizadas).

01:02:40 ANÁLISIS DE LAS PROPOSICIONES COMPUESTAS BÁSICAS
PROPOSICION NEGATIVA O DE NEGACION (~)
Son aquellas proposiciones que hacen uso del adverbio negativo NO o sus expresiones equivalentes.
Asimismo, dada una proposición "p”, su negación se denota así: ~p.

01:20:20 PROPOSICION CONJUNTIVA O CONJUNCION (∧)
Son aquellas proposiciones que se relacionan mediante el conectivo Lógico “y”, o expresiones equivalentes

01:33:04 PROPOSICION DISYUNTIVA INCLUSIVA O DEBIL (∨)
Es aquella en la cual se consideran las posibles ocurrencias simultaneas o individuales de las proposiciones componentes
La disyunción de las proposiciones p y q se denota así: p∨q

01:43:51 PROPOSICION CONDICIONAL (→)
Muchas proposiciones compuestas, especialmente en matemáticas, son de la forma “si p entonces q”, tales proposiciones se llaman CONDICIONALES o IMPLICACIONES y se les denota por: p→q, que significa: “p implica q”

02:00:57 PROPOSICION CONDICIONAL DIRECTA
El antecedente y consecuente van en este orden, respectivamente.

02:02:53 PROPOSICION CONDICIONAL INDIRECTA
El consecuente y antecedente van este orden, respectivamente.

02:06:20 PROPOSICION BICONDICIONAL (↔)
Otra proposición compuesta bastante común es la de la forma “p si y solo si q”; tal proposición se llama BICONDICIONAL o DOBLE IMPLICACIÓN y se denota por: p↔q, que se lee; “p es condición necesaria y suficiente para q”

02:21:39 PROPOSICION EXCLUSIVA O FUERTE (Δ,▁(∨))
Esta disyuntiva excluye la posibilidad de ocurrencia simultanea de ambas proposiciones componentes.

Dadas las proposiciones p y q, la DISYUNCION EXCLUSIVA de dichas proposiciones se denota p△q que se lee: “p o q pero no ambas” o también: “o bien p o bien q”