informacion, tablas,power point

2. Las tablas de verdad son, por
una parte, uno de los métodos
más sencillos y conocidos de la
lógica formal, pero la mismo
tiempo también uno de los más
poderosos y claros. Entender
bien las tablas de verdad es, en
gran medida, entender bien a la
lógica formal misma.

3. Fundamentalmente, una tabla
de verdad es un dispositivo para
demostrar ciertas propiedades
lógicas y semánticas de
enunciados del lenguaje natural
o de fórmulas del lenguaje del
cálculo proposicional:

4. • Sin son tautológicas,
contradictorias o contingentes
• Cuáles son sus condiciones de
verdad
• Cuál es su rol inferencial, es decir,
cuáles son sus conclusiones
lógicas y de qué otras
proposiciones se siguen
lógicamente.

5. Origen
Fue desarrollada por Charles
Sanders Peirce por los años 1880,
pero el formato más popular es
el que introdujo Ludwig
Wittgenstein en su Tractatus
logico-philosophicus, publicado
en 1921.

6. A diferencia de algunos lenguajes, C++
no tiene un tipo base universal del que se
deriven todos los demás tipos. La
implementación del lenguaje en Visual
C++ contiene muchos tipos
fundamentales, también conocidos como
tipos integrados. Esto incluye los tipos
numéricos, como int, double, long y bool,
además de los tipos char y wchar_t para
los caracteres ASCII y Unicode,
respectivamente.

7. Tipo Tamaño Comentario
Int 4 bytes Opcion predeterminada para los valores
enteros
Double 8 bytes Opcion predeterminada para los valores
punto frotante
Bool 1 bytes Representa valores que pueden ser true
false
Char 1 bytes Se utiliza en los caracteres ASCII de estilos
de cadenas C
wchart_t 2 bytes Representa valores de caracteres anchos
que se pueden decodificar en formato
único
Unsignet char 1 bytes C++ no tiene un tipo byte integrado.
un carácter sin signo para representar un
valor byte
Unsignet int 4 bytes Opcion predeterminada para los
marcadores de bits
Long long 8 bytes Representa valores enteros muy grandes

8. Tipos definidos por el usuario
• El compilador no tiene conocimiento integrado de un tipo definido por el
usuario. El compilador “conoce” el tipo la primera vez que encuentra la
definición durante el proceso de compilación.
• El usuario especifica las operaciones que se pueden realizar en el tipo y
cómo se puede convertir en otros tipos definiendo (mediante sobrecarga) los
operadores adecuados, como los miembros de clase o las funciones que no
son miembro. Para obtener más información, vea Sobrecargar (C++).
• No es necesario que tengan tipos estáticos (la regla establece que el tipo de
un objeto nunca cambia). A través de los mecanismos de herencia y
polimorfismo, una variable declarada como un tipo de clase definido por el
usuario

9. Tipo de Dato Descripción Número de
bytes típico
Rango
signed short Entero corto 2 -32768 a 32767
unsigned short Entero corto sin signo 2 0 a 65535
signed int Entero 4 -2147483648 a +2147483647
unsigned int Entero sin signo 4 0 a 4294967295
signed long Entero largo 4 -2147483648 a +2147483647
unsigned long Entero largo sin signo 4 0 a 4294967295
signed char Carácter 1 -128 a 127
unsigned char Carácter sin signo 1 0 a 255

10. Letras y cadenas
Las variables de tipo letra se declaran como “char”. Para referirse a una
letra se rodea de comillas simples: 'M'. Como las letras se representan
internamente como números, el lenguaje C permite realizar
aritméticas como 'M' + 25.
Las cadenas de texto o strings son simplemente tablas de “char”. Las
funciones de biblioteca para manipular estas cadenas asumen que el
último byte tiene valor cero. Las cadenas de texto se escriben en el
programa rodeadas de dobles comillas y contienen el valor cero al
A continuación se muestran dos definiciones:
#define SIZE 6
char a = 'A';
char b[SIZE] = "hello";