Előzmény (logikus)

Az előzmény egy hipotetikus állítás első fele , ahol az if-tagmondat megelőzi az akkori tagmondatot.

Például:

• ha P , akkor Q .

Ez egy hipotetikus tétel logikátlan megfogalmazása. Itt az előtag P , és az eredmény Q . Egy következtetés , ha magában foglalja majd az úgynevezett megelőző és az úgynevezett következtében. ϕ{\ displaystyle \ phi}ψ{\ displaystyle \ psi}ϕ{\ displaystyle \ phi}ψ{\ displaystyle \ psi}

• HA X ember, akkor X halandó.

"X egy ember" ennek a tételnek az előzménye.

• Ha egy ember a Holdon járt, akkor én vagyok a francia király.

Itt "az ember a Holdon járt" az előzmény.

Lásd is

• A következmény megerősítése
• Előzmény tagadása
• Következetes (logikus)

Hivatkozások

• (en) Ez a cikk részben vagy egészben az "  Előzmény (logika)  " című angol Wikipedia cikkből származik ( lásd a szerzők felsorolását ) .

1. Készletek, funkciók és logika - Bevezetés az absztrakt matematikába, Keith Devlin, Chapman & Hall / CRC Mathematics, 3. kiadás, 2004

<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">