Professional Documents
Culture Documents
|LGICAMATEMTICA
LGICAMATEMTICA
3.1.4Tautologas,ContradiccinyContingencia.
20/10/2011FiledunderDOCUMENTOS
Concincoconectivaslgicasbsicasseconstruyenproposiciones
compuestasquepuedensertautologas,contradiccionesocontingencias.
Silatabladeverdaddelaproposicinessiempreverdadera,
independientementedelaverdadofalsedaddelasproposiciones
simples,entonceslaexpresinestautolgica.
Silatabladeverdadessiemprefalsa,serunacontradiccin.
Siesverdaderayfalsa,laproposicinesunacontingencia.
TAUTOLOGA:Unaproposicincompuestaesunatautologasies
verdaderaparatodaslasasignacionesdevaloresdeverdadparasus
proposicionescomponentes.Dichodeotraforma,suvalorVnodepende
delosvaloresdeverdaddelasproposicionesquelaforman,sinodela
formaenqueestnestablecidaslasrelacionessintcticasdeunascon
otras.Seaelcaso:
https://angelarendon.wordpress.com/2011/10/20/314tautologiascontradiccionycontingencia2/ 1/3
201766 3.1.4Tautologas,ContradiccinyContingencia.|LGICAMATEMTICA
CONTRADICCIN:Seentiendeporproposicincontradictoria,o
contradiccin,aquellaproposicinqueentodosloscasosposiblesdesu
tabladeverdadsuvalorsiempreesF.Dichodeotraforma,suvalorFno
dependedelosvaloresdeverdaddelasproposicionesquelaforman,sino
delaformaenqueestnestablecidaslasrelacionessintcticasdeunas
conotras.Seaelcaso:
CONTINGENCIA:Seentiendeporverdadcontingente,overdaddehecho,
aquellaproposicinquepuedeserverdaderaofalsa,(combinacinentre
tautologaycontradiccin)segnlosvaloresdelasproposicionesquela
integran.Seaelcaso:
https://angelarendon.wordpress.com/2011/10/20/314tautologiascontradiccionycontingencia2/ 2/3
201766 3.1.4Tautologas,ContradiccinyContingencia.|LGICAMATEMTICA
Anuncios
CreaunblogounsitiowebgratuitosconWordPress.com.
https://angelarendon.wordpress.com/2011/10/20/314tautologiascontradiccionycontingencia2/ 3/3