Resultats de la cerca
Es mostren 6 resultats
condicional
Lògica
Dit de la connectiva binària si..., llavors
, que representa l’anomenada implicació material
.
En la lògica simbòlica és representada pel signe ⊃
implicació
Lògica
Relació formal consistent en el fet que una idea o proposició n’implica una altra.
En lògica simbòlica s’expressa mitjançant el signe ⊰ En matemàtiques hom utilitza el símbol ⇒
bicondicional
Lògica
Dit de la proposició en què s’estableix l’equivalència entre dues proposicions en la forma “p si, i solament si, q” o “p és una condició necessària i suficient per a q”.
Aquesta proposició és certa si p i q són totes dues certes o totes dues falses És equivalent a “ p implica q i q implica p ”En lògica simbòlica, és representada pel signe ≡
designació
Lògica
Relació existent entre un signe i un objecte, un fet o un concepte.
Hom la confon amb la denotació i la referència, de les quals es diferencia perquè indica, en el cas que es refereixi a una realitat, el concepte d’una cosa més que no pas la cosa mateixa
extensional
Lògica
Lingüística i sociolingüística
Relatiu als objectes a què un signe s’aplica, més que no pas a les propietats que el defineixen.
disjunció
Lògica
Dit de la connectiva binària que en la notació de la lògica simbòlica hom representa amb el signe v
.
Hom l’anomena també disjunció inclusiva per a distingir-la de la disjunció exclusiva , simbolitzada per ↮ En el llenguatge corrent, hom acostuma a utilitzar la preposició “o” indistintament per a referir-se a una o a l’altra, bé que l’expressió “o bé o bé" designa la segona amb més propietat En la lògica clàssica, les proposicions disjuntives constitueixen una classe de les proposicions formalment hipotètiques, i hom en parla també com de judicis disjuntius