LOGICA PROPOSICIONAL

Description

Flashcards on LOGICA PROPOSICIONAL, created by Juan Cabezas on 31/05/2020.
Juan  Cabezas
Flashcards by Juan Cabezas, updated more than 1 year ago
Juan  Cabezas
Created by Juan Cabezas almost 4 years ago
2483
0

Resource summary

Question Answer
LÓGICA PROPOSICIONAL Es la rama de la matemática que estudia el valor de verdad en la relación de dos o mas proposiciones (verdadero o falso) PROPOSICIÓN Es una afirmación a la cual puedo dar un valor inicial falso o verdadero OPERADORES LÓGICOS Son símbolos que se utilizan para conectar dos o mas proposiciones y obtener un valor de verdad. también permiten establecer condiciones lógicas
TABLAS DE VERDAD son estructuras que nos permiten establecer las primeras reglas de los operadores lógicos OPERADOR LOGICO "Y " Conjunción: Es la operación binaria que tiene por resultado p y q, se representa por p^q, y su tabla de verdad es:
OPERADOR LOGICO "O" Disyunción: Es la operación binaria que da por resultado p ó q, notación p v q, y tiene la siguiente tabla: NEGACION “¬” Este operador niega o invierte el valor de verdad inicial Ejemplo. Encuentre la negación de: Júpiter es un planeta. Rta: Júpiter no es planeta
CONDICIONAL "→" La condicional de dos proposiciones p, q da lugar a la proposición; si p entonces q, se representa por p → q, y su tabla de verdad está dada por: en el condicional hay que destacar que no es conmutativo, a diferencia de los dos anteriores la conjunción y la disyunción. El único caso que resulta falso es cuando el primero es verdadero y el segundo falso. Por ejemplo, si p es llueve y q es hay nubes entonces: p → q es si llueve entonces hay nubes.
Show full summary Hide full summary

Similar

LOGICA MATEMATICA
Jose Izurieta
Etica y Axiologia
Ana Isabel Cortez Campos
Elementos de la logica proposicional
claudia unad
PENSAMIENTO LOGICO MATEMATICO
laura castellanos
SISTEMAS INTELIGENTES
renzopt94
CONECTIVOS LÓGICOS
Alita Avila
Matemática discreta
BLEYDIS MILETH CONRADO PADILLA
Lógica proposicional
Andres Arias
UNIDADES
monica valentin
Logica y calculo proposicional
cristian camilo lopez