Skip to content
My Media
My Playlists
My History
Login
Add New
Media Upload
YouTube
My Media
My Playlists
My History
Login
Home
How to use Media Hopper Create
How To Use Media Hopper Create
How To Use Media Hopper Create In Learn
Creative Commons
All Channels
Home
How to use Media Hopper Create
How To Use Media Hopper Create
How To Use Media Hopper Create In Learn
Creative Commons
All Channels
CL - Lecture 4.i - Reduction 1
From
Claudia-Elena Chirita
likes
views
comments
Related Media
Details
Back
We use the rules to reduce a sequent to a conjunction of simpler sequents. In this example we find that the expression asserted by the sequent is a tautology — it is equivalent to the empty conjunction, so is valid in every universe.
Tags