Cuadro de conectores
Es tudia la forma del ra zonamie nto es una re la ción e ntre la s premis a s y la c onclus ión e xpre s a da a travé s de una s e rie de s ímbolos matemá tic os y/o a uxiliares llama dos e nunc ia dos .
L ógica for males la parte de la : filos ofía que e s tudia la s formas y le ye s generale s del pe ns a miento te ndie nte al conoc imie ntode la verda d y e l error. En un nivel e leme ntal, proporc iona re glas y té cnic a s pa ra dete rmina r s i e s o no va lido un a rgume nto dado.
C ie nc ia s Soc ia le s .
R es olver una multitud de proble mas diaria s . Sac ar c onclus ione s de e xperimentos V e rific ar s i s on o no c orrec tos los progra mas D etermina r s i un ra zonamie nto e s vá lido o no. D emos tra r te orema se infe rir re s ultados matemá tic os
Fis ica
L ógic a A plicada:s la que es tudia e la s formas o e s tructura del pens a mie nto a daptá ndos e a l objeto de e s tudio de la s dis tinta s c ienc ias .
M e diante la s ra mas de:
C omputac ion
Filos ofia L ógic a s imbólic a: s la que es tudia e s is temá tic a me nte la s propos ic ione s , los ra zona mie ntos y la s demos tracione s para lo c ual utiliza un le nguaje c ons tituido por s ímbolos c onve ncionale s que re pres e nta n e s truc tura s . La lógic a s imbólic a es a quella que s e refiere a las
C onjunción: pq pðq VV V
VF F FV FF F F
M a te matica s
D is yunción Inclus iva: p q p vq VV VF FV FF O pe ra dor and (y) La multiplica ción lógica Es ta propos ic ión s olo es ve rda dera c uando la s dospropos iciones que la forma n s on ve rda de ra s , y en los demá s ca s os s e rá fa ls a. D is yunción Exc lus iva : pq LOG IC A Ope ra dor O r (o) Es ta propos ición e s fa ls a única mente c ua ndo la s dos propos iciones que la forma n s on fa ls a, en c as o contra rio e s verda de ra . VV p vq F V V V F
C onjuncion
^
D is yuncion
V
La s uma lógica
VF V FV V F
M ole culare s
Son la s que c ons tan de dos o más propos iciones s imples e ntrelaz ada s por c ierta s partic ularida de s lógica s .
o...o
D is yunción Exc lus iva
V _
Propos iciones s imples e ntrelaz as
Es ta s olo s e rá verda de ra c ua ndo la s dos propos ic ione s que Tabla de ve rad la c ompone n tie ne n diferente s va lore s de verda d, en c as o c ontra rio e s fa ls a.
FFN ega ción: p ~p V F FV
O pe ra dor N ot (no)
N ega cion
¬
N e ga r la propos ición
Si una propos ic ión (s e a s imple o c ompue s ta) e s ve rdadera, s u ne ga ción e s fa ls a y vic evers a .
Formada por dos propos iciones s imples (o c ompue s ta) Propos iciones Por medio de orac iones o e nunc ia dos Si una e s verda d la otra igua l y s i es fa ls a la otra igua l va as er fa ls a
C ondic iona l
Incognita con la otra varia ble de e ntonc es
U na condic iona l s olo es fals a c ua ndo s u a ntec ede nte e s verda de ro y el c ons e c ue nte es fa ls o; e n lo de más c as os la c ondicional es ve rda dera .
C ondic ional o I mplicación: pq p?q VV V
B ic ondicional
Igua lda d una de la otra
Es ta s olo es verda de ra c ua ndo la s dos proposic ione s que la forma n tie ne e l mis mo va lor de verda d, es dec ir, c ua ndo la s dos propos iciones que la forma n amba s s e an verda de ra s o a mba s fals a s . En ca s o c ontrario la B ic ondicional es fals a .
VF F FV V FF V
B ic ondicional o D oble I mplicación: M e diante una le tra minús c ula o va riable s , dos puntos y la propos ición propia mente dicha V erda dera s pq VVFals a s VF pðq V F
A tomic as
Son a que lla s que c ons tan de un s olo e nunc ia do.
FV F N o a mba s al mis mo tie mpo FF V
C ontradic ciones
A que lla propos ición que s ie mpre e s fa ls a pa ra todos los valore s de verda d
Tautologia s
A que lla propos ición (c ompues ta ) que e s cie rta para todos los valore s de verda d de s us variable s
INTEGRANTES: YESENIA...
Regístrate para leer el documento completo.