Formula: LOAL, 1. 10. 08


Formula: Alle \, haben \, Husten \qquad Husten\_hat(x) \qquad \forall x : Husten\_hat(x) \qquad {}^\neg \exists x : {}^\neg Husten\_hat(x) \qquad \forall \Leftrightarrow {}^\neg \exists {}^\neg

Embed formula

Title:
LOAL, 1. 10. 08
Post from:
Flo
Description:
(not set)
Founder:
Flo
Tex:
Alle \, haben \, Husten \qquad Husten\_hat(x) \qquad \forall x : Husten\_hat(x) \qquad {}^\neg \exists x : {}^\neg Husten\_hat(x) \qquad \forall \Leftrightarrow {}^\neg \exists {}^\neg
Tags:
Posted on:
2008-10-01 13:07
Current thread:


Actions

Add a response to this formula