Matemticas Discretas ISC

by Susana, Aurelio, Javier y Kevin Alexis

Hey there! Thanks for dropping by Matemticas Discretas ISC! Take a look around
and grab the RSS feed to stay updated. See you around!
Tablas de verdad
Filed under: Unidad 3 3 comentarios
13 octubre, 2011

20 Votes

Las tablas de verdad se utilizan en lgica simblica para establecer la

validez de las proposiciones. La construccin de tablas de verdad
simplifica la tarea de determinar la verdad o falsedad de una
proposicin.
Tabla de verdad de la conjuncin
La conjuncin de dos proposiciones simples p^q (se lee p y q),slo es
verdadera si ambas proposiciones son verdaderas. La conjuncin (^), es una
conectiva lgica que se denomina el operador lgica AND y representa el
producto lgico.

Tabla de verdad de la disyuncin

La disyuncin de la proposiciones simples pvq (se lee: p o q) es falsa si ambas
son falsas. El operados lgico disyuncin tambin se denomina OR y representa
la suma lgica.

Tabla de verdad de la negacin:

Para negar una proposicin simple se emplea el smbolo . Se lee no p, y
donde si p es verdadera (1), si es falsa (0) y viceversa. El operador de negacin
tambin se denomina NOT por razones obvias.

Tabla de verdad del condicional material (implicacin)

En la implicacin el primer termino se denomina antecedente o hiptesis y el
segundo consecuente o tesis. La implicacin es falsa si el antecedente es
verdadero y el consecuente es falso. La implicacin no tiene denominacin
especial como los casos anteriores pero puede expresarse en funcin de estos.
La implicacin es una conectiva lgica que se denotara con una flecha >.
p > q, se lee: p implica q, si p, entonces q, p es suficiente para q, o tambin, q

es necesario para p.

Tabla de verdad del bicondicional (equivalencia)

La equivalencia es una conectiva lgica.
pq, se lee: p equivalente con q; p si y solo si q; p es necesario y suficiente para
q.
La equivalencia es verdadera si ambas proposiciones son verdaderas o si ambas
son falsas.