SISTEMA OPERATIVO


Implicación lógica
Si la condición es (a-b)es una tautología de a implica lógicamente b entonces denotaremos como (a -b) y a es verdadera b verdadera o a es falsa b cualquier valor
La tabla dela verdad
Las tablas de verdad se utilizan en lógica simbólica para establecer la validez de las proposiciones. La construcción de tablas de verdad simplifica la tarea de determinar la verdad ofalsedad de una proposición.
Tabla de verdad de la conjunción:
La conjunción de dos proposiciones simples p^q (se lee” p y q”), solo es verdadera si ambos proposiciones son verdaderas si ambasproposiciones son verdaderas. La conjunción (^), es una conectiva lógica que se denomina el operador lógico AND y representa el producto lógico.

Tabla de verdad de la disyunción
La disyunción de laproposiciones simples p vq (se lee: “p o q”) esa falsa si ambas son falsas. El operados lógico disyunción también se denomina OR y representa la suma lógica.




Tablas de verdad de la negación:Para negar una proposición simple se emplea el símbolo ¬ .se lee “no p”, y donde si p es verdadera (1), si es falsa (0) y viceversa. En operador de negación también se denomina NOT por razones obvias.Tablas de verdad del condicional material (implicación):
En la implicación el primer término se denomina antecedente o hipótesis y el segundo consecuente o tesis. La implicación en falsa si elantecedente es verdadero y el consecuente es falsa. La aplicación no tiene denominación especial como los casos anteriores pero puede expresarse en función de estos.
La implicación es una conectivalógica que se denota con una fecha ->.
P -> q, se lee: p implica q, si p, entonces q, p es suficiente para q, o también, q es necesario para p.

Tabla de verdad de bicondicional (equivalencia).
Laequivalencia es una conectiva lógica.
Pq, se lee: p equivalente con q; p si solo si q; p es necesario y suficiente para q.
La equivalencia es verdad si ambas proposiciones son verdaderas o si ambas...