Want to create interactive content? It’s easy in Genially!

Get started free

FORMAS PROPOSICIONALES

Bolivia Correa

Created on February 22, 2023

Start designing with a free template

Discover more than 1500 professional designs like these:

Halloween Infographic

Halloween List 3D

Magic and Sorcery List

Journey Map

Versus Character

Akihabara Connectors Infographic Mobile

Mobile mockup infographic

Explore all templates

Transcript

ESTRUCTURAS CON VARIABLES PROPOSICIONALES

Sección 1.4

FORMAS PROPOSICIONALES

Características

Definición

  • Se representan con letras mayúsculas.
  • Al reemplazar las n variables proposicionales por proposiciones, se generan en total 2^𝑛 proposiciones.

Son estructuras constituidas por variables proposicionales y operadores lógicos que las relacionan.

+ info

TIPOS DE FORMAS PROPOSICIONALES

Tautología

Contradicción

Contingencia

Se tienen solamente proposiciones falsas para todos los valores de verdad de las variables proposicionales.

Se tienen solamente proposiciones verdaderas para todos los valores de verdad de las variables proposicionales.

Se tiene al menos una proposición con un valor de verdad que difiere del resto para todos los valores de verdad de las variables proposicionales.

+ Ejemplos

+ Ejemplos

Equivalencia Lógica

Implicación Lógica

Sean A y B dos formas proposicionales, A equivale lógicamente a B, sí y solamente sí A bicondicional B es una Tautología.

Sean A y B dos formas proposicionales, A implica lógicamente a B, sí y solo sí A condicional B es una Tautología.

+ info

+ info

PROPIEDADES DE LOS OPERADORES LÓGICOS

Sección 1.5

Ejemplos

De la conjunción y la disyunción
De la negación, condicional y bicondicional
De las implicaciones lógicas

+ info

Bibliografía: Fundamentos de Matemáticas para Bachillerato I. Tercera Edición.