„Kondicionálás” változatai közötti eltérés

A tudományos kommunikációban gyakran használnak „ha A, (akkor) B” szerkezetű feltételes állításokat. Például: Ha a vádlottat felmentik, az ügyész fellebbezni fog. A feltételes állítás két elemi állításból épül fel, ahol A állítást a kondicionálás előtagjának, míg a B állítást a kondicionálás utótagjának nevezzük. A kijelentéslogikában hasonlóak az alábbi logikai műveletek, melyek segítségével elemi állításokból összetett állítások képezhetőek: negáció, konjunkció, alternáció, bikondicionálás, melyeket az alábbi logikai szavak fejezik ki: „nem”, „és”, „vagy”, „akkor, és csak akkor, ha”. A hozzájuk kapcsolódó állításoperátorok rendre a következők: ∼,∧,∨,≡, illetve a kondicionálás logikai jele ⊃. Az ilyen műveletek által képzett összetett állítások igazságértéke csak az elemi állítások igazságértékétől függ, ezért ezek a logikai műveletek igazságfüggvények.

 

 

===Ekvivalens állítások===