Revisió del 23:22, 18 jul 2011 modifica Beussonbot (discussió \| contribucions) Bots 32.274 edits m Bot:Desambiguació assistida: Pegàs - Canviant enllaç(s) per Pegàs (mitologia) ← Edició anterior		Revisió del 17:25, 27 jul 2011 modifica desfés Bestiasonica (discussió \| contribucions) 244.771 edits →‎El llenguatge natural com a model d'un càlcul lògic Edició següent →
Línia 74: == El llenguatge natural com a model d'un càlcul lògic == El càlcul lògic és útil perquè pot tenir aplicacions. Però què és o com es fan aquestes aplicacions? Per al càlcul d'enunciats podem considerar que ''' el [[llenguatge natural]] és un model de C si ~~podem~~es pot sotmetre, és a dir, aplicar una correspondència en C '''. Aquest procés és el que s'anomena [[Llenguatge formalitzat\|formalització del llenguatge]]. El llenguatge científic necessita "[[Llenguatge formalitzat\|formalitzar el llenguatge]]" per tal d'evitar ambigüitats en les expressions i en els continguts semàntics de les paraules.▼ ~~Naturalment el càlcul lògic és útil perquè pot tenir aplicacions.~~ ~~Però Què és o com es fan aquestes aplicacions?~~ ▲Per al càlcul d'enunciats podem considerar que ''' el llenguatge natural és un model de C si podem sotmetre, és a dir, aplicar una correspondència en C '''. Aquest procés és el que s'anomena [[Llenguatge formalitzat\|formalització del llenguatge]]. ~~El llenguatge científic necessita "[[Llenguatge formalitzat\|formalitzar el llenguatge]]" per tal d'evitar ambigüitats en les expressions i en els continguts semàntics de les paraules.~~ Quan és possible s'arriba a una formalització completament sotmesa a [[regles]] prèviament establertes, com es pretén en aquest cas, i els elements que constitueixen les Expressions ben formades (EBF) s del llenguatge natural es poden substituir per variables sense significat, sense contingut semàntic algun perquè realitzarien la mateixa funció que qualsevol paraula de la llengua que compleixi la funció sintàctica de l'expressió. Llavors podem procedir com en un [[càlcul]]. Linha 87 ⟶ 80: No sempre és possible, però és, seria, el llenguatge ideal de la ciència,<ref> Com arribar a pretendre els [[neopositivisme\|neopositivistes]] </ref> perquè evitaria la necessitat de "interpretació". No hi hauria més que sustiuir variables per variables lingüístiques i constants per les seves expressions lingüístiques formalitzades. És el que es pretén en aquest apartat: sotmetre les expressions del llenguatge natural a unes [[variable (matemàtiques) \|variables]] s [[símbol\|simbòliques]] mitjançant unes [[regles]] de simbolització: === Regles de simbolització === ;Regla I: Cada un dels enunciats simples del llenguatge natural es substituirà per variables proposicionals simbolitzades per lletres minúscules, p, q, r, s, t ~~,..~~...▼ ;Regla II: Les expressions del llenguatge natural com ara "no", "no és cert", "no és el cas que" "és fals", "és impossible" i totes aquelles que siguin equivalents, se substituiran pel símbol ¬ : Plou, p; No plou: ¬ p▼ ~~''' Regla I. '''~~ ▲Cada un dels enunciats simples del llenguatge natural es substituirà per variables proposicionals simbolitzades per lletres minúscules, p, q, r, s, t ,..... ~~''' Regla II. '''~~ ▲Les expressions del llenguatge natural com ara "no", "no és cert", "no és el cas que" "és fals", "és impossible" i totes aquelles que siguin equivalents, se substituiran pel símbol ¬ ~~Plou, p; No plou: ¬ p~~ ~~''' Regla III. '''~~ Les expressions del llenguatge natural com ara "i", "ni" "però", "que", "més", i totes les que siguin equivalents, se substitueixen pel símbol/\▼ ~~Plou: p; Fa fred: q; Plou i fa fred: p/q;~~ ~~''' Regla IV. '''~~ Les expressions del llenguatge natural com ara "o", "o. .. o", "bé ... bé", "ja ... ja", i els seus equivalents, se substitueixen pel símbol \/▼ ~~Plou: p; Fa fred: q; O plou o fa fred: p \/q~~ ~~''' Regla V. '''~~ Les expressions naturals com ara "si .... llavors", "després ...."," per tant "," per tant "," sempre que ...", "s'infereix", "es dedueix" i els seus equivalents es substituiran pel símbol →▼ ~~Plou: p; Fa fred: q; Si plou llavors fa fred: p → q~~ ~~''' Regla VI. '''~~ Les expressions del llenguatge natural com ara "... si i només si ..."," .. equival a.. "," .. Es.igual a. .. " m "val per ...","... és el mateix que ...", i els seus equivalents es substituiran pel símbol ↔▼ ▲;Regla III: Les expressions del llenguatge natural com ara "i", "ni" "però", "que", "més", i totes les que siguin equivalents, se substitueixen pel símbol/\ : Plou: p; Fa fred: q; Plou i fa fred: p/q; ~~Plou: p; Fa fred: q; Si i només si plou llavors fa fred: p ↔ q~~ ▲;Regla IV: Les expressions del llenguatge natural com ara "o", "o. .. o", "bé ... bé", "ja ... ja", i els seus equivalents, se substitueixen pel símbol \/ : Plou: p; Fa fred: q; O plou o fa fred: p \/q Ús de parèntesis:▼ ▲;Regla V: Les expressions naturals com ara "si .... llavors", "després ...."," per tant "," per tant "," sempre que ...", "s'infereix", "es dedueix" i els seus equivalents es substituiran pel símbol → Plou: p; Fa fred: q; Si plou llavors fa fred: p → q 1 .- No s'utilitza parèntesi en aquells casos en què els connectors afecten enunciats simples o atòmics.▼ ▲;Regla VI: Les expressions del llenguatge natural com ara "... si i només si ..."," .. equival a.. "," .. Es.igual a. .. " m "val per ...","... és el mateix que ...", i els seus equivalents es substituiran pel símbol ↔ Plou: p; Fa fred: q; Si i només si plou llavors fa fred: p ↔ q 2 .- S'utilitza parèntesi quan el connector afecti a tota una conjunció, disjunció, condicional o Si i només si.▼ ▲;Ús de parèntesis: 3 .- S'utilitza el parèntesi en les expressions conjuntives i disjuntives precedides o seguides d'un condicionador o bicondicionador.▼ ▲~~1 .-~~ #No s'utilitza parèntesi en aquells casos en què els connectors afecten enunciats simples o atòmics. 4 .- S'utilitza el parèntesi en les expressions que ens interessi precisar la dominància del connector, o bé perquè els connectors tinguin la mateixa dominància-com en el cas del conjuntor i del disjuntor que són idempotentes-o bé perquè el sentit de l'expressió exigeix l'alteració de la dominància de les connectives fortes-les condicions i el bicondicionador que són les connectives fortes.▼ ▲~~2 .-~~ #S'utilitza parèntesi quan el connector afecti a tota una conjunció, disjunció, condicional o Si i només si. ▲~~3 .-~~# S'utilitza el parèntesi en les expressions conjuntives i disjuntives precedides o seguides d'un condicionador o bicondicionador. ▲~~4 .-~~# S'utilitza el parèntesi en les expressions que ens interessi precisar la dominància del connector, o bé perquè els connectors tinguin la mateixa dominància-com en el cas del conjuntor i del disjuntor que són idempotentes-o bé perquè el sentit de l'expressió exigeix l'alteració de la dominància de les connectives fortes-les condicions i el bicondicionador que són les connectives fortes. == Cadena deductiva ==

Càlcul lògic: diferència entre les revisions