Tudtok példát közvetlen implikációra?

Hat...mondjuk A: A D halmaz nem az üreshalmaz.

B: D-nek van legalább egy eleme.

A = Gondolkodom

B = Tehát vagyok

C = vekni kenyér

Ha A⇒C, de C⇏B, akkor a feltételed alapján A⇒B. Viszont ez azt jelenti, hogy mégiscsak C⇒B. Ez így ellentmondás.

A = fel van fújva a labda

B = a labda pattog

C = a labda kemény

A-ból következik C. Ha fel van fújva a labda, akkor kemény. Viszont C-ből nem következik B, hiszen attól, hogy egy labda kemény, nem biztos, hogy pattog, lehet, hogy áll, vagy gurul. Viszont a feltételrendszered alapján ebben az esetben A-ból következik B, azaz abból, hogy fel van fújva a labda, abból következik, hogy pattog. Márpedig ha ez így van, akkor nincs olyan eset, mikor a labda kemény, de nem pattog, tehát mégis csak következik a labda keménységéből az, hogy pattog.

Előző! Ez így nem igaz. Pl (term számokra) :

A - A szám páratlan prím

B - A szám nem osztható kettővel

C - A számnak pontosan kettő osztója van

Itt látható, hogy Aból következik C, Aból következik B és Cből nem következik B.

Igazából nehéz amit a kérdező kérdez. Legyen egy axiómarendszerünk, melyben szerepelnek Ai axiómák (i eleme I indexhalmaz).

Na most ha van egy A --> B közvetlen implikáció, akkor